Agda.Utils.Except

class Error a

data ExceptT e m a

mapExceptT

mkExceptT

class MonadError e m

runExceptT