Re: [Haskell-cafe] Retrospective type-class extension

Ivan Miljenovic wrote:

On 20 May 2010 14:42, Tony Morris wrote:

...

We all know that "class (Functor f) => Monad f" is preferable but its absence is a historical mistake. We've all probably tried once:

instance (Functor f) => Monad f where

Do you mean the reverse of this (instance (Monad m) => Functor m where) ?

Yes. -- Tony Morris http://tmorris.net/