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

Sigh, I cannot edit my comment at this stage, but correction I meant *anti-intellectualism