[Haskell-cafe] Does Backwards admit a Monad instance?
david.feuer at gmail.com
Tue Dec 15 19:20:24 UTC 2015
In particular, I'm thinking about
instance MonadFix m => Monad (Backwards m) where
m >>= f = Backwards $
fin <- forwards (f int)
int <- forwards m
It looks to me like this should be valid, and compatible with the
Applicative instance, but maybe I'm missing something.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe