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

>>14
Yes, in the ideal OOP design there shouldn't even be a need for getters, but in some of the simpler cases the only reasonable objective of sending a message is to get the value of one field. However, after a change of representation this field might disappear and that same message will not be a getter anymore. Yet the encapsulation principle will help you even in such a case.