[Haskell-cafe] Retrospective type-class extension

[Ivan Miljenovic]

On 20 May 2010 14:42, Tony Morris <tonymorris at 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>



-- 
Ivan Lazar Miljenovic
Ivan.Miljenovic at gmail.com
IvanMiljenovic.wordpress.com