Control.Monad.Catch.Pure
Transformer
data
CatchT
m a
type
Catch
runCatch
mapCatchT
Typeclass