TypeFamilies

Defunctionalization

• Defunctionalization for the win

• Haskell with only one type family

• Defunctionalization for Haskell Type Families

• 型族に部分適用できない

参考リソース

• Infinite types and existential newtypes