The Option monad
Just like the Either monad in the previous post, the Option monad also specifies an Option data type...
Tags: emptystring