Introduce type for Schema to capture structure of algebraic data type

[jdegoes]

Introduce type for Schema to capture structure of algebraic data type

[hartmut27]

Why is it needed to extract lenses automatically and if so, how decide which of all possible lenses? there are so many possible combinations, any attribute, any nesting laayer, etc. When I am using a schema with ADTs involved, I usually define only the few needed lenses ad-hoc with the help of macros and apply it in the same line e.g.
import monocle.macros.GenLens
GenLens[MyADT](._myAttribute.myDeeperAttribute).modify(f=>f+1)(myAdtInstance01)
which is producing a modified instance of myAdtInstance01.

[thinkharderdev]

Closed by #121