Applicative trumps Monad, infix ftw.