adam@1623: datatype foo = Bar of int
adam@1623: 
adam@1623: table bad : { A : foo, B : { X : float } }