{motive : Lean.JsonRpc.RequestID → Sort u} →
  (t : Lean.JsonRpc.RequestID) →
    ((s : String) → motive (Lean.JsonRpc.RequestID.str s)) →
      ((n : Lean.JsonNumber) → motive (Lean.JsonRpc.RequestID.num n)) → motive Lean.JsonRpc.RequestID.null → motive t