I am pleased to announce Mononym: a Rust library for creating unique type-level names for each value in Rust. Mononym enables a limited form of dependently-typed programming in Rust, and allows the Ghosts of Departed Proofs pattern to be used. maybevoid.com/blog/mononym-p…