Make.Monad
type +'a t
The type of actions in the monad.
val return : 'a -> 'a t
return a injects a into the monadic type.
return a
a
val bind : ('a -> 'b t) -> 'a t -> 'b t
bind f a is the sequential composition of two actions, passing any value produced by a as argument to f.
bind f a
f