Universal values via tagged union.  Emulates structure Universal in Poly/ML 5.1.
Universal values via tagged union.  Emulates structure Universal in Poly/ML 5.1.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle