我理解常规的定点型组合器,我想我理解高阶固定n型组合器,但HFix我不知道.您能举例说明一组数据类型及其可以应用的(手动派生的)固定点HFix.
HFix
haskell types generic-programming multirec
generic-programming ×1
haskell ×1
multirec ×1
types ×1