Как `HFix` работает в пакете multirec Haskell?

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