Control.Lens

type Lens α β a b

type Refractor c d α β a b

type Traversal α β a b

type Iso α β a b

lens

iso

get

set

modify

mapping

fstL

sndL

swapL

unitL

bitL