Here are some proposal for optics names. The goal is to give a better intuition to beginners, especially people with no FP experience.
Setter->Replace,Modify,WriteFold->AggregateNonEmptyFold->ReduceGetter->ReadReadOnlyOptional-> ???Traversal-> ???NonEmptyTraversal-> ???Optional->FindPrism->Subset,Select,BranchLens->Field,FocusIso->Equivalent,Equivalence,Conversion
Insipration from tofu-optics
Should the optics be names or verbs? I guess we should be consistent (
ReducevsReducer)