Control.Lens.Loupe
type Loupe s t a b
storing
(^#)
(#~)
(#%~)
(#%%~)
(<#~)
(<#%~)
(#=)
(#%=)
(#%%=)
(<#=)
(<#%=)
type SimpleLoupe s a