MayPair(T: Domain): Domain == Record(x: T, y: T)

w: MyPair Float
x
y