A monad is an abstraction of the concept of sequencing of computations. A value of type 'a monad represents a computation that returns a value of type 'a.
return v
returns the (trivial) computation that returns v.
ok t
returns x
if t = Ok x
, or raises e
if t = Error e
.