, просматривающих пикшу различных пакетов, которые я часто прихожу вместе экземпляр документаций, которые выглядят так (Control.Category): Category k (Coercion k)
Category * (->)
или этого (Control
В чем разница между f1 и f2? $ ghci -XRankNTypes -XPolyKinds
Prelude> let f1 = undefined :: (forall a m. m a -> Int) -> Int
Prelude> let f2 = undefined :: (forall (a :: k) m. m a -> Int) -> Int
Pr
comment пользователем 2426021684 побудило меня исследовать, можно ли было придумать с функцией типа F таким образом, что F c1 c2 fa показывает, что для некоторых f и a: fa ~ f a c1 f c2 a Оказывается,