[Tarean]

The optics library is a bit stricter, using separate types with implicit conversions to give better type errors, and the subtyping diagram is here https://hackage.haskell.org/package/optics-0.4.2/docs/Optics...

The lens documentation has this diagram https://i.imgur.com/ALlbPRa.png

These both skip over indexed versions, and some niche optics like grates aren't in the libraries yet afaik