adam@1287: val v1 : variant [A = int, B = float] = make [#A] 1 adam@1287: val v2 : variant [A = int, B = float] = make [#B] 2.3 adam@1287: adam@1287: fun main () = return (match v1 {A = fn n => A: {[n]}, adam@1287: B = fn n => B: {[n]}})