Re: In opposition of Functor as super-class of Monad

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.