Control.Lens.Zoom

type family Magnified (m :: * -> *) :: * -> * -> *

class Magnify m n b a

class Zoom m n s t

type family Zoomed (m :: * -> *) :: * -> * -> *