unify (cargo): Trait-based equality constraint for Rust
Keywords: equality|type-level|unification