(motive : ℕ × Lean.JsonRpc.Request Lean.Json → Sort u_1) →
  (__discr : ℕ × Lean.JsonRpc.Request Lean.Json) →
    ((fst : ℕ) → (msg : Lean.JsonRpc.Request Lean.Json) → motive (fst, msg)) → motive __discr