How to generalize from Lens to Traversable and from Getter to Fold optic?

Question

I achieved to implement Lens, LensAt (aka At in monocle) and LensOpt (aka Optional in monocle), However, I f