Kind: Costless visibly typed identifiers in Rust | Dark Hacker News