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