Sugar module signatures.
module type Promise : sig ... end
module type Strict_promise : sig ... end
This interface specifies an error handling layer for monadic computations.
module type Strict_result : sig ... end
The signature for a result monad that has some awareness about unexpected exceptions.