Exactly, as I detail in the article — Though its certainly something that came from functional programming in the ML language, it’s definitely interesting that the functional paradigm is responsible for parametric polymorphism given that it isn’t necessarily in-line with what the paradigm “ stands for” per say.