(motive : ZMod 8 → Sort u_1) →
  (a : ZMod 8) →
    (Unit → motive 0) →
      (Unit → motive 2) →
        (Unit → motive 4) →
          (Unit → motive 6) → (Unit → motive 1) → (Unit → motive 7) → (Unit → motive 3) → (Unit → motive 5) → motive a