GHC выводит следующий для выражения (flip id) следующий тип: flip id :: b -> (b -> c) -> c.
Я понимаю, каким образом этот тип получается. Достаточно заменить заменить тип функции id на (b -> c) -> b -> c. Но мне неясно, почему такая замена типа делается компилятором (если конечно делается, я мог и ошибиться в своем предположении). Мне кажется такое поведение странным, потому что тип a -> a более общий. Подскажите пожалуйста, где почитать, почему происходит именно так.