Documents the Maybe monad.