adamc@805: datatype foo = A | B of bar
adamc@805: and bar = C | D of foo
adamc@807: 
adamc@807: val q = B (D A)
adamc@807: 
adamc@807: fun main () = return <xml>
adamc@807:   {case q of
adamc@807:        B (D A) => <xml>Good</xml>
adamc@807:      | _ => <xml>Bad</xml>}
adamc@807: </xml>