That last picture was problematic in that it showcased three different conventions for application: fx f <*> x x >>= f The first of these (see also the

That last picture was problematic in that it showcased three different conventions for application: fx f <*> x x >>= f The first of these (see also the Monads section) was the author's fault (should have used f <$> x), but the last conjures memories of PHP. Something to expand on? I would have also preferred more reminders that the box is the Functor/Applicative/Monad, not the function or the infix operator. [1] http://adit.io/imgs/functors/recap.png http://adit.io/imgs/functors/recap.png