EitherPatch

either

either

std

eitherReify

Reify

end

ReifiedProduct