Scrap Your Boilerplate

12 lines of Agda code is verified red-black tree insertion.
12 lines of Java code would be a class declaration with some getters/setters

>>16
In fact such a use case is mentioned even in the SICP, and I can think of many more. It's complex numbers: initially you represented them as (x, y) pairs, and exposed the getX(), getY() accessors. Then you switched the representation to polar coordinates. Do I need to continue or can you see why you're a dimwit dumbass by now?

Thanks for showing us that you're too stupid to read even a good undergrad book on programming, I had a moderate laugh off your stupidity and ineptitude at even the most basic principles of the dominant contemporary design paradigm. You are shit-coder supreme.