Хаскелла ($) - магический оператор?

Скажем, у меня есть следующие функции:

infixr 0  b
f  (forall b. b -> b) -> a
foo x f = f x

Следующее не проверяет тип:

ghci> foo 3  a0'
In the second argument of `(

Ответы на вопрос(1)

Ваш ответ на вопрос