Naive Maybe monad implementation