swap :: (a, b) -> (b, a)
swap (x, y) = (y, x)