datatype t = A
and u = A