You could probably say Generics instead of Parametric polymorphism, while far less formal a lot more people will grok what you're getting at. I guess it's not

You could probably say Generics instead of Parametric polymorphism, while far less formal a lot more people will grok what you're getting at. I guess it's not so clear for algebraic data types, but I'd probably refer to swift enums or unions in elm as an example. Last time I suggested this, someone likened it to intellectualism, lol. I see it more as a communication, a thing that the typed functional community seems to struggle with