Control.Monad.Error.Class
class Error a
class MonadError m