Sun, 21 Oct 2001 19:38:55 -0700, Ashley Yakeley <[EMAIL PROTECTED]> pisze:
> MonadError seems to have been redefined in 5.02 to have a fundep:
>
> 5.00.2:
>
> class (Monad m) => MonadError e m
>
> 5.02:
>
> class (Monad m) => MonadError e m | m -> e
>
> Why?
It allows some practical
MonadError seems to have been redefined in 5.02 to have a fundep:
5.00.2:
class (Monad m) => MonadError e m
5.02:
class (Monad m) => MonadError e m | m -> e
Why? Perhaps the IO Monad can have only one kind or level of error, but
why can't other Monads have more?
Anyway, because of G
