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

>>7

In the future your class might not even have those fields

Thank G-d I used getField then. HIBT?