<p dir="ltr">> a lens with the name 'cans' will be created.</p>
<p dir="ltr">Does Template Haskell modify code file or can these '_' names be used throughout the code without visible definition?</p>
<p dir="ltr">Thank you for this very detailed and specific example.</p>
<p dir="ltr">Could we say that lens is a bit like extension to record syntax: allow to traverse, get and set properties for structures that are  more complex than simple 1 level record?</p>
<p dir="ltr">Why do lens require Template Haskell? Only to generate '_' functions?</p>