(motive : Std.Time.Modifier → Sort u_1) →
  (x : Std.Time.Modifier) →
    ((p : Std.Time.Text) → motive (Std.Time.Modifier.G p)) →
      ((p : Std.Time.Year) → motive (Std.Time.Modifier.y p)) →
        ((p : Std.Time.Year) → motive (Std.Time.Modifier.u p)) →
          ((p : Std.Time.Number) → motive (Std.Time.Modifier.D p)) →
            ((p : Std.Time.Number ⊕ Std.Time.Text) → motive (Std.Time.Modifier.MorL p)) →
              ((p : Std.Time.Number) → motive (Std.Time.Modifier.d p)) →
                ((p : Std.Time.Number ⊕ Std.Time.Text) → motive (Std.Time.Modifier.Qorq p)) →
                  ((p : Std.Time.Number) → motive (Std.Time.Modifier.w p)) →
                    ((p : Std.Time.Number) → motive (Std.Time.Modifier.W p)) →
                      ((p : Std.Time.Text) → motive (Std.Time.Modifier.E p)) →
                        ((p : Std.Time.Number ⊕ Std.Time.Text) → motive (Std.Time.Modifier.eorc p)) →
                          ((p : Std.Time.Number) → motive (Std.Time.Modifier.F p)) →
                            ((p : Std.Time.Text) → motive (Std.Time.Modifier.a p)) →
                              ((p : Std.Time.Number) → motive (Std.Time.Modifier.h p)) →
                                ((p : Std.Time.Number) → motive (Std.Time.Modifier.K p)) →
                                  ((p : Std.Time.Number) → motive (Std.Time.Modifier.k p)) →
                                    ((p : Std.Time.Number) → motive (Std.Time.Modifier.H p)) →
                                      ((p : Std.Time.Number) → motive (Std.Time.Modifier.m p)) →
                                        ((p : Std.Time.Number) → motive (Std.Time.Modifier.s p)) →
                                          ((p : Std.Time.Fraction) → motive (Std.Time.Modifier.S p)) →
                                            ((p : Std.Time.Number) → motive (Std.Time.Modifier.A p)) →
                                              ((p : Std.Time.Number) → motive (Std.Time.Modifier.n p)) →
                                                ((p : Std.Time.Number) → motive (Std.Time.Modifier.N p)) →
                                                  (Unit → motive Std.Time.Modifier.V) →
                                                    ((p : Std.Time.ZoneName) → motive (Std.Time.Modifier.z p)) →
                                                      ((p : Std.Time.OffsetO) → motive (Std.Time.Modifier.O p)) →
                                                        ((p : Std.Time.OffsetX) → motive (Std.Time.Modifier.X p)) →
                                                          ((p : Std.Time.OffsetX) → motive (Std.Time.Modifier.x p)) →
                                                            ((p : Std.Time.OffsetZ) → motive (Std.Time.Modifier.Z p)) →
                                                              motive x