[Haskell-cafe] Does Backwards admit a Monad instance?

[David Feuer]

In particular, I'm thinking about

instance MonadFix m => Monad (Backwards m) where
  m >>= f = Backwards $
    do
      fin <- forwards (f int)
      int <- forwards m
      return fin

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...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20151215/38bf02e1/attachment.html>