Given that, one can write a more fully featured im...

# language-proposals

[natpryce]

Given that, one can write a more fully featured implementation of lenses, traversals etc. for data classes without awkward reflection on constructor parameters