Аппликативного понимание стиля

Question

Я хотел бы написать что-то как:

(+) <$> Just 3 <*> Just 5 <*>' (+) <*> Just 6 

Однако проблема заключается в том, что мне нужно как-то flip<*>. Каков идиоматический способ в Haskell, чтобы сделать тип цепочки, который я пытаюсь?

Answer 1

<**> от Control.Applicative является flip <*>. Ваш пример может работать с этим, слегка перестроенным:

>((+) <$> Just 3 <*> Just 5) <**> ((+) <$> Just 6) 
Just 14