Added the ability to represent the Maybe monad.