Agda.TypeChecking.Monad.Exception

data ExceptionT err m a

class MonadException err m