Proposal to add Automatic Eta Expansion to the Language

5 posts were split to a new topic: Statically obtain the name of a class member, in a checked way