Simon Marlow wrote:
If it's not clear which is the right way to go, then yes I guess that
does rule it out. Could you summarise the proposals? If there was a
clear winner, and it was easy enough to implement, perhaps we can knock
up a prototype in time.
The reason being I just hit a case where this would be useful, while
trying to find a nice way to express extensible exceptions.
If we're going to do this, we should make Functor a superclass of Monad.
This is a well-known and annoying wart in the standard libraries that
has not been fixed only because there's no superclass default mechanism.
--
Ashley Yakeley, Seattle WA
WWED? http://www.cs.utexas.edu/users/EWD/
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://haskell.org/mailman/listinfo/haskell-prime