The rest of the generics manifesto: named generic parameters, parameterized extensions, higher kinded types (maybe generic associated types ala Rust), improved variadic generics. Some of it has been pitched already, so I'm hopeful we'll get there eventually.
12 Likes