type_eq 0.1.0

Tiny utils for type-level constraints and inference
Documentation