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