Agda.TypeChecking.Monad.Exception
data ExceptionT err m a
class MonadException err m