Think we definitely need to build something like t...
# http4k
d
Think we definitely need to build something like this into the Lens system. Unfortunately, the type system of Kotlin isn't quite powerful enough AFAIK to do this off the bat as data classes aren't generified tuples which allow you to reference the constructor in a generic way (eg - from the class def of MyThing, I'd like it to expose some kind of HList which gives you the ability to do
List<Int :: String>
(in scala-shapeless terminology )