Hello,

IO is an instance of MonadError IOException...

However I also need to make it an instance of MonadError String...

Is it possible?

I'm trying to instanciate this class:

class (Typeable n, Monad n, Applicative n, MonadError String n) => EvMgt n where ...

instance EvMgt IO where...

Any idea?