TypeFamilies

GHC的一项语言扩展，允许在类型级别定义函数，实现类型之间的映射和计算，是类型级编程的核心工具之一。