(motive : Lean.JsonRpc.Message → Sort u_1) →
  (msg : Lean.JsonRpc.Message) →
    ((method : String) →
        (params? : Option Lean.Json.Structured) → motive (Lean.JsonRpc.Message.notification method params?)) →
      ((x : Lean.JsonRpc.Message) → motive x) → motive msg