namespaced keys are actually awful
you wanted a record type not an infinite union of a bunch of shit
Conversation
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
Even if you had namespaced labels, if you had first class labels couldn't you just have a generic function that automatically built a lens for you out of an arbitrary label?
sure or you could just derive them from the types, no need for introspection.