[flykespice]

isnt polymorphism inherently a subset of oop?

[vkazanov]

No, all popular functional languages have one flavour of polymorphism or the other.

Or, in math speak, Oop means polymorphism but polymorphism doesn't mean oop.