mononym (cargo): Type-level named values with partial dependent type support in Rust
Keywords: dependent-types