A better Scala? Rust higher-kinded types RFC approved | Heykuki News