Control.Lens.Zoom
type family Magnified (m :: * -> *) :: * -> * -> *
class Magnify m n b a
class Zoom m n s t
type family Zoomed (m :: * -> *) :: * -> * -> *