> they make 80% of what we would like to have generics for
I regularly use generics in other languages for tasks unrelated to "containers"/data structures. They allow me to write less code and have the compiler check my mistakes.
Containers are frequently where people start with parameterized types, but once you are in the habit of using them actively that's rarely where you stop.
> once you are in the habit of using them actively that's rarely where you stop.
Eh. Many people don't ever go beyond that and it's fine, containers-type structures (to which I include stuff like futures or option types) and functions working on those are by far the most common use case.
I regularly use generics in other languages for tasks unrelated to "containers"/data structures. They allow me to write less code and have the compiler check my mistakes.
Containers are frequently where people start with parameterized types, but once you are in the habit of using them actively that's rarely where you stop.