type_eq (cargo): Tiny utils for type-level constraints and inference
Keywords: type|inference|equality