Agda.Utils.Lens
type Lens' i o
lFst
lSnd
(^.)
set
over
use
(.=)
(%=)
(%==)
(%%=)
view
locally
key
(<&>)