Oh, the monoid dependency could be an issue. eff has always been quite low down in the hierarchy.

Maybe keep the Semigroup instance here and move the Monoid instance to purescript-monoid, if that works?

Let's do this 👍

@matthewleon I think this way is probably better, as -monoid doesn't depend on -eff either, and it seems to follow the philosophy better to pull in a "pure" type into -eff than vice-versa 😄

Oh boy, I discovered just now that Eff now has a transitive dependency on ps-control and ps-invariant now, as those are dependencies of ps-monoid: https://github.com/purescript/purescript-monoid/blob/92a0fceefb37fdb17b5d9fb102aa981e6200655b/bower.json

A bit disappointing, but just an observation. It should be fixed in ps-monoid library instead. @i-am-tom Did you have any thoughts on this?

I'm not sure - does this cause any issues? Or is the concern just extra packages to install?

@i-am-tom Well, just the extra packages is a bit odd. Take a look at the packages required to do main = log "Hello sailor":

https://github.com/chexxor/documentation/blob/ad508b5f7c49b07542a69b88af36218717ab8e31/guides/Dependency-Management/Git.purs

Gotta pull in purescript-control and those fun things!

Again, not a problem, really, just a bit disappointing that purescript-control needs to be installed to do the Hello World program.

This is really useful. I was just looking for a semigroup instance for Eff. Would love to see this released soon ❤️

@paldepind Already has been! :)

You're right, it does work in code. But isn't it supposed to show up in the docs here?

Or am I missing something?

The docs need updating :( I believe anyone can do it - you just have to clone the package and run pulp publish, iirc?