P

ReverseSplit ReverseSplitLeft ReverseSplitRight Split SplitLeft SplitRight

parent

Zipper

plus

shapeless

Poly

shapeless

Poly0

shapeless

Poly1

shapeless

Poly2

shapeless

Pred

shapeless Pred PredAux

PredAux

shapeless

prefix

Zipper

Prepend

shapeless Prepend

PrependAux

shapeless

Prod

shapeless Prod

prod1

ProdAux

prod2

ProdAux

ProdAux

shapeless

ProductArity

shapeless

ProductArityAux

shapeless

ProductLens

shapeless

Pullback1

Poly shapeless

Pullback1Aux

Poly

Pullback2

Poly shapeless

Pullback2Aux

Poly

put

Zipper LowPriorityPut Zipper