type-level (cargo): Type-level programming in Rust
Keywords: type-level