Если тип ($) — (a -> b) -> a -> b, то почему вам разрешено каррировать его как ($2)? 2 не относится к типу (a -> b). См. пример ниже.
map ($2)[(+1),(+2)]
Это законно, круто и интуитивно понятно. Скажите, пожалуйста, как это согласуется с правилами системы типов?
Ваше здоровье
Поведение, которое вы наблюдаете, связано с тем, как работает частичное приложение для инфиксных операторов. Это часто называют «приложением раздела», и вы применяете 2 как «правильный раздел», который будет вторым аргументом. Так что у тебя есть:
($) :: (a -> b) -> a -> b
^
|
This is the type variable for the argument '2'
И вы можете подтвердить это через:
ghci
> :t ($2)
($2) :: Num a => (a -> b) -> b
Скорее всего, вы найдете эту информацию скрытой где-нибудь в наиболее прилично полных учебниках или посмотрите отчет Haskell секция на секции.
