именно такая сейчас?
($) :: forall r a (b :: TYPE r). (a -> b) -> a -> b
ну левити-полиморфным можно так мало кода написать, что они за каждую возможность хватаются
Обсуждают сегодня