obj X = integer and string and boolean;
val x1 = X({1, "abc", true});-- the canonical (and stupid) constructor call
val x2 = X(1, "abc", true);  -- slightly better, courtesy of auto-unbundling
val x3 = {1, "abc", true};   -- OK, but doesn't guarantee x3 is type X
val x4:X = {1, "abc", true}; -- does the trick, without the constructor at all
val x5:X = {1, "abc", 1};    -- just-for-giggles test of type checking;
                             -- f me, it fails as of 17dec04, and so needs
			     -- to be FIXED; there's a LOG entry for it