What higher-kinded types might look like in Rust | Hacker News Reader