adamc@805: datatype foo = A | B of bar
adamc@805: and bar = C | D of foo