Lighter dependencies, more auto-deriving#13

Open

ocramz wants to merge 2 commits intoyigitozkavci:masterfrom ocramz:master

+90-23

Commits on Oct 11, 2022

master now builds
Marco Zocca
committed

Commits on Oct 12, 2022

microlens/lens, deriving strategies cleanup
Marco Zocca
committed