datatype a = A
datatype b = B

val x : a * b = (A, B)

val y : b = x