Agda.Utils.Except
class Error a
data ExceptT e m a
mapExceptT
mkExceptT
class MonadError e m
runExceptT