Результаты поиска по запросу "system-f"
это очень, очень странно в моих глазах.
ел бы получить следующий пример для проверки типа: {-# LANGUAGE AllowAmbiguousTypes #-} {-# LANGUAGE RankNTypes #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module Foo where f :: Int -> (forall f. Functor f => Secret f) -> ...