∀ {α : Type u} (next : Option α) (upperBound : α) (next_1 : Option α) (upperBound_1 : α),
  ({ next := next, upperBound := upperBound } = { next := next_1, upperBound := upperBound_1 }) =
    (next = next_1 ∧ upperBound = upperBound_1)