First good version of the Maybe monad.