higher-rank-types

Вопрос или проблема Я работаю с выводом типов и полиморфизмом высшего порядка и пытаюсь определить наименьший общий тип для двух типов. Например, имея два подтипа: (A < (forall a. a -> Int)) и (A < (forall a. a -> Bool)) я хотел бы определить тип A, который является “