(motive : Std.Time.OffsetZ → Sort u_1) →
  (x : Std.Time.OffsetZ) →
    (Unit → motive Std.Time.OffsetZ.hourMinute) →
      (Unit → motive Std.Time.OffsetZ.full) → (Unit → motive Std.Time.OffsetZ.hourMinuteSecondColon) → motive x