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

>>3
Why is that even important? What's the difference between setting the attribute using setter vs. setting it directly? Setter just introduces unnecessary boiler plate. It makes the code harder to read. That usually also means more bugs. Your encapsulation principle is just bullshit.