On 20 May 2010 14:42, Tony Morris <tonymor...@gmail.com> 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) ? > ... > > 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.miljeno...@gmail.com IvanMiljenovic.wordpress.com _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe