Exactly. Functor to Applicative to Monad is the order that I remember from Learn You a Haskell and it made sense back then.