Давайте определим тип списка list = forall 'a, 'x. ('a -> 'x -> 'x)...

В Системе F тип exists a. P может быть закодирован как forall b. (forall a. P -> b) -> b в...

Я бы хотел получить следующий пример для проверки типов: {-# LANGUAGE AllowAmbiguousTypes #-} {-#...