lambek (cargo): Type-Level Programming in Rust
Keywords: functional