lloydmeta

Rust 中的函数式泛型类型级编程：包含 HList、Coproduct、Generic、LabelledGeneric、Validated、Monoid 等等。

一个为 Scala 设计、型别安全且无反射的强大列举实作，具备穷举模式比对警告与实用的整合功能。