Why care so much about parametrization? Because it is the only approach (I know of) to true extensibility. (In particular, inheritance will let you down.) For example, all known (statically type-safe) solutions to the Expression Problem are based on parametrization.https://twitter.com/jdegoes/status/1022509750229946368 …
Sounds like the usual idiotic "I want my language with products and I've never heard of sums".
Read my blog!