WMcBride i Paterson „Programowanie aplikacyjne z efektami” wprowadzają cudowny cukier syntaktyczny do podnoszenia czystej funkcji:

[| f x y z |]

dla

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

i przypominam sobie kogoś innego, który używali f w x y z il lubil f v w x y z lii myślałem / miałem nadzieję, że może to być spowodowane tym, że można je zdefiniować za pomocą istniejącej cechy języka i sprytnej definicjili iil.

Nie mogę znaleźć żadnego odniesienia do tego poza papierem i zakładam, że tak[| i|] prawdopodobnie nie pojawią się w ghc w najbliższym czasie, czy można je zaimplementowaćli iil jakoś? Nie potrafię wymyślić dla nich rozsądnego typu, więc zakładam, że potrzebuję szablonu Haskell lub podobnego, ale nie wiem wystarczająco dużo, aby to osiągnąć.[af| f x y ] byłoby dobrze, ale nie wiem, czy to możliwe, zanim zacznę próbować, a na pewno potrzebuję pomocy, jeśli jest.