Monocle defines typeclasses to fetch generic optics implicitly. You can find more information about typeclass pattern in cats.
Here is the list of typeclasses defined in Monocle: