HList-0.4.0.0: examples/lens.ref

"hi"
Record{x=(),y=Record{y=321,x=123}}
123
Record{x="hi",y=Record{y="xy",x=123}}


and repeat:
"hi"
Record{x=(),y=Record{y=321,x=123}}
321
Record{x="hi",y=Record{y="xy",x=123}}


Isos
Record{x=(),y=Record{y=321,x=123}}
Record{x="hi",y=()}
Record{z=(),x="hi()",y=Record{y=321,x=123}}
hi
TIPH["hi",Record{y=321,x=123}]