Implemented liftM2 on MaybeMonad