Fail.S2
The binary fail monad interface.
Implemented by:
a monad type, where 'a
is a value type, and 'e
is a type parameter of the error
type.
fail err
diverges the computation, possibly providing an extra information in a value of type 'e error
.