(motive : String → Sort u_1) →
  (tag : String) →
    (Unit → motive "responseError") →
      (Unit → motive "request") →
        (Unit → motive "notification") → (Unit → motive "response") → ((x : String) → motive x) → motive tag