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