AsOptional

lens

a

WithLens

andThen

Lens Optional Prism

apply

Lens Prism

asOpt

AsOptional