[runT1ME]

Explain why FP doesn't do 'create a new type and overload operators to make it feel like the abstract mathematical idea it represents' better with say, parametric polymorphism?

[ryandvm]

Just my two cents, but regardless of whether it is a more pure representation, I'd say it is empirically more difficult for the average, object-oriented human to wrap their brain around.

At least on that measure, the object oriented paradigm has demonstrated some success.

[runT1ME]

I don't see how. One gives you guarantees, one is a lie. I've done a lot of both, the OO model is strictly inferior in almost every way.