Reified

delta

ReifiedProduct

delta

ReifiedValue

delta

Reify

delta

ReifyOps

Reify

reify

Reify ReifyOps

reifyA

Reify

reifyIt

Reify

removed

MapPatch SetPatch

right

WasLeft WasRight