From Maybe Functor to Maybe Applicative Functor to Maybe Monad