Data.Label.Partial

type f :~> o

type Partial

lens

get

modify

set

embed

Seemingly total modifications.

set'

modify'