ВMcBride и Paterson 's Прикладное программирование с эффектами' они вводят некоторый прекрасный синтаксический сахар для подъема чистой функции:

[| f x y z |]

за

f <
f <$> x <*> y <*> z
gt; x <*> y <*> z

и я помню кого-то еще, используяli f w x y z il или жеil f v w x y z liи я подумал / надеялся, что это может быть потому, что он может быть определен с использованием некоторой существующей языковой функции и хитрогоli а такжеil.

Я не могу найти какую-либо ссылку на это, кроме бумаги, и при условии, что[| а также|] вряд ли появится в ghc в ближайшее время, возможно ли реализоватьli а такжеil каким-то образом? Я не могу придумать для них разумный тип, поэтому я предполагаю, что мне нужен шаблон Haskell или аналогичный, но я не знаю достаточно, чтобы достичь этого.[af| f x y ] было бы хорошо, но я не знаю, возможно ли это, прежде чем я попытаюсь это сделать, и, конечно, нужна помощь, если это так.