fun swap (x, y) = (y, x)