let mono =
  match (p) {
  | (x, y) -> x + y
  }