Computations which may return Nothing
Binding strategy: Nothing values bypass the bound function, other values are used as inputs to the bound function.
Useful for: Building computations from sequences of functions that may return Nothing.
bind function for Maybe
fail function for Maybe
return function for Maybe