On 04.01.2011 16:38, Tony Morris wrote:
I think you'll find a problem using do-notation with your Monad.Tony Morris
Do you mean that fail is absent? That's irrelevant here.I tried to demonstrate that fmap could be defined in terms of monad and that definition will work.
_______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime