On 20 May 2010 14:42, Tony Morris
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) ?
...
However, is there a type system extension (even proposed but not implemented) that allows me to retrospectively apply such a notion?
Ideally something like this would be handy if it could somehow be retrospectively applied: Monad <- Applicative <- Pointed <- Functor
-- Tony Morris http://tmorris.net/ _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
-- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com