Lens.Micro.Mtl.Internal
type family Zoomed m :: * -> * -> *
class Zoom m n s t
type family Magnified m :: * -> * -> *
class Magnify m n b a