Agda.Utils.Except

class Error a

data ExceptT e m a

mkExceptT

class MonadError e m

runExceptT

mapExceptT