Собрал все в одном месте...

[deniok]

... и педантично выровнял:

($)    ::                      (a -> b) ->   a ->   b
(<$>)  :: Functor     f  =>    (a -> b) -> f a -> f b
(<*>)  :: Applicative f  =>  f (a -> b) -> f a -> f b
(=<<)  :: Monad       m  =>  (a -> m b) -> m a -> m b

(&)    ::                      a ->   (a -> b) ->   b  -- Data.Function
(<&>)  :: Functor     f  =>  f a ->   (a -> b) -> f b  -- Control.Lens.Operators
(<**>) :: Applicative f  =>  f a -> f (a -> b) -> f b  -- Control.Applicative
(>>=)  :: Monad       m  =>  m a -> (a -> m b) -> m b

Comments

[juan-gandhi.livejournal.com]

Распечатаю. Повешу на стенку. Это прекрасно.

[nivanych.livejournal.com]

На футболку надо.

[deni-ok.livejournal.com]

Причем три из второй четверки могут быть определены как flip соответствующей функции из первой. Но есть одна с другой семантикой (и, естественно, реализацией).

[lispnik.livejournal.com]

Только тату!

[nivanych.livejournal.com]

Ну что ж мы тут, подростки какие неуёмные? ;-)

[lispnik.livejournal.com]

Конечно нет, поэтому никаких футболок.

[nivanych.livejournal.com]

С другой стороны, относительно изучения функциональщины, наверное, я таки 'подросток' ;-)
Дадад. Классика — накалывают всякую херню, о которой потом жалеют, когда вырастут! ;-)

всё уже придумано до нас

[(Anonymous)]

Симпатично (https://chris-martin.github.io/haskell-aligned/).
Ну и вообще рекомендуютвиттер (https://twitter.com/chris__martin/status/719124792603910144) автора.

[romanovsky.livejournal.com]

Спасибо, тоже распечатал, вот картинка с юникодными стрелочками: