(motive : String → Sort u_1) →
  (errorCode : String) →
    (Unit → motive "ERR_ADN") →
      (Unit → motive "ERR_SEM") →
        (Unit → motive "ERR_TWS") →
          (Unit → motive "ERR_WIN") → (Unit → motive "ERR_UNICODE") → ((x : String) → motive x) → motive errorCode