[weavejester]

"OOP makes it central, and builds around it, while FP de-emphasizes it in preference to ADTs."

ADTs are not an intrinsic part of FP, as not all FP languages even have them.

I'd also question whether ubiquitous polymorphism is overall a good thing in a language, or whether it's misguided complexity. In most OOP languages, any public method can be polymorphic, but a polymorphic function is inherently less predictable than one dispatches off a single type.