ekmett / free

free monads
http://hackage.haskell.org/package/free
Other
161 stars 65 forks source link

Add Bind instances for Cofree/CofreeT #190

Open dfoxfranke opened 5 years ago

dfoxfranke commented 5 years ago

Same behavior as the Monad instances, but with weaker superclass constraints: (Alt f, Apply f) rather than Alternative f.

It looks like this instance used to exist, but with a constraint of just (Functor f). I haven't bisected to find where it went away but I assume the reason was related to #36. This new instance with the stronger constraint should be okay.