Я понимаю обычный комбинатор с фиксированной точкой и думаю, что понимаю комбинаторы с фиксированным n-типом более высокого порядка, но HFix ускользает от меня. Не могли бы вы привести пример набора типов данных и их (...