> You'd use a module to hides things.

And than you need functors and existential types to recreate classes… ;-)

Your reasoning is likely faulty if you don't see that OOP is a very advanced and great module system.

The only problem with OOP is that it's often misused for other things that aren't modules. But that's a different story.