[Chabs]

> All in all, OOP is a toolkit for building bad abstractions: abstractions that do not easily model computation, that hide data.

That's a fundamental property of type erasure, which is not exclusive to OOP, and far from the extent of what modern OOP is about

[ilovecaching]

I don't think you understand what type erasure is.