(motive : String → Sort u_1) →
  (method : String) →
    (Unit → motive "textDocument/references") →
      (Unit → motive "workspace/symbol") →
        (Unit → motive "textDocument/prepareCallHierarchy") →
          (Unit → motive "callHierarchy/incomingCalls") →
            (Unit → motive "callHierarchy/outgoingCalls") →
              (Unit → motive "$/lean/prepareModuleHierarchy") →
                (Unit → motive "$/lean/moduleHierarchy/imports") →
                  (Unit → motive "$/lean/moduleHierarchy/importedBy") →
                    (Unit → motive "textDocument/prepareRename") →
                      (Unit → motive "textDocument/rename") →
                        (Unit → motive "$/lean/waitForILeans") → ((x : String) → motive x) → motive method