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

>>21,22
So now you have a getter/setter pair for which set(get()) is no longer a noop, good job. Who was the shit-coder supreme again?

What you are describing is essentially a hack that puts logic where it doesn't belong. You are changing the meaning of a method and expect everything to just magically fall into place because in your contrived example, all calls to that method just happen to use the new meaning already. Do I really need to tell you why this is bullshit?