getMaybe

POptional PPrism ApplyOptional ApplyPrism

headMaybe

Fold PTraversal ConsFunctions ApplyFold

initMaybe

SnocFunctions

lastMaybe

SnocFunctions

modifyMaybe

POptional PPrism ApplyOptional ApplyPrism

nelAndOneIso

NonEmptyListOptics

pNelAndOneIso

NonEmptyListOptics

product

Getter PIso PLens

setMaybe

POptional PPrism ApplyOptional ApplyPrism

sum

Fold Getter PLens POptional PSetter PTraversal

tailMaybe

ConsFunctions

theseDisjunction

TheseOptics