Iavor Diatchki wrote:
I think that this is a good change to make, and I don't think that it is in any way related to the introduction of class aliases, which is a fairly major extension (i.e., it requires changes to the compiler), that we have no experience with, and whose design has not really be tried out in practise.
I agree with this. At worst, without class aliases, it just means programmers need to copy and paste some boilerplate:
instance Functor MyMonad where fmap = applicative_fmap instance Applicative MyMonad where ap = monad_ap (>>) = monad_aseq return = ... -- Ashley Yakeley _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime