Kind: Costless visibly typed identifiers in Rust
github.com