... Apply => Applicative => Monad
[Generally you'll get a better response to things like this on Haskell Reddit "Hask Anything" threads, or maybe Stack Overflow.]