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