у него хотя бы тип должен быть?
Ну это как говорить что и пробел это тоже магический оператор.
Ну у него хотя бы примерная сигнатура есть, infixl (-1) <space> (<space>) :: forall p q (a :: TYPE p) (b :: TYPE q) . (a -> b) -> a -> b Все равно конечно магический, слишком левити полиморфный для настоящего, специальные правила для RankNTypes, но хотя бы тип примерно понятен.
Обсуждают сегодня