It would make a huge difference if that style were used more in practice.

OOP is just functions that are only polymorphic in 1 argument, when you want it on all of them.