adam@1716: val q : variant [X = int, Y = float] = make [#Z] "hi"