Control.Lens

type Lens α β a b

type Refractor c d α β a b

type Traversal α β a b

lens

iso

get

set

modify

fstL

sndL

swapL

unitL