Untapped potential in Rust's type system | Hacker News Reader