This function that returns a Domain has the side-effect of declaring x and y:

(1) -> MyPair(T:Domain):Domain==Record(x:T,y:T)

   Domain is not a valid type.

But this does not happen for Union

MyAlt(T:Domain):Domain==Union(p:T,q:T)

   Domain is not a valid type.