I think you have a misunderstanding of what an abstraction is. An abstraction is a simplification, something that hides the details to provide a simple interfac

I think you have a misunderstanding of what an abstraction is. An abstraction is a simplification, something that hides the details to provide a simple interface to access. Data Types merely pack data and provide soundness in how you process it. You can pack the data as you want, show everything and be fine. OOP Languages pack objects and use them to build abstractions, that's it. A strong type system doesn't mean you need to hide implementation details and build babushkas of abstractions. It simply means that the type system reduces the number of programs you can write by making sure your code adheres to some soundness checks.