In opposition of Functor as super-class of Monad

[Alexey Khudyakov]

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.