Control.Monad.Operational.Exception
data ExceptionI a
exception
exception'
toExceptionI
strExceptionI
interpretExceptionIO
data DescribedException