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