path: root/tests/pairUnify.ur

datatype a = A
datatype b = B

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

val y : b = x