Overloading record fields with lens