{motive : Aesop.Frontend.Priority → Sort u} →
  (t : Aesop.Frontend.Priority) →
    ((i : ℤ) → motive (Aesop.Frontend.Priority.int i)) →
      ((p : Aesop.Percent) → motive (Aesop.Frontend.Priority.percent p)) → motive t