Module Monad.Exception


module Exception: sig .. end
exception-monad

include Monad.MONAD
val raise : string -> 'a t
val failed : 'a t -> bool
val trywith : 'a t -> (string -> 'a t) -> 'a t