swap :: (a, b) -> (b, a) swap = _