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