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