type_eq 0.1.2

Tiny utils for type-level constraints and inference
Documentation