type_eq 0.1.1

Tiny utils for type-level constraints and inference
Documentation