(+) = (UInt64.+)
case (1,2,3,4) of
  (a,b,c,d) -> (a + b, c + d)