EitherPatch

either

Extra

xml

either

std

eitherReify

Reify

elemDelta

xml

end

ReifiedProduct

extra

Extra