Each

function

EachFunctions

function

Either3Optics

std

EitherOptics

std

Empty

function

EmptyFunctions

function

each

Each EachFunctions

either

std

either3

std

eitherToDisjunction

EitherOptics

empty

Empty EmptyFunctions

emptyISet

ISetOptics

emptySet

SetOptics

exist

Fold PTraversal ApplyFold