In opposition of Functor as super-class of Monad

Alexey Khudyakov alexey.skladnoy at
Tue Jan 4 14:46:58 CET 2011

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.

More information about the Haskell-prime mailing list