A monad is a mechanism for combining computations.
It is a typeclass providing the
To be an actual monadic type, the implementations of
return must conform to the three monad laws.
Maybe monad illustrates how to create
a simple monad and demonstrates its benefits.
© University of Glasgow