Reverted Value interface since the new union was more complicated than necessary.