{motive : Std.Time.TimeZone.TZif.TZifV2 → Sort u} →
  (t : Std.Time.TimeZone.TZif.TZifV2) →
    ((toTZifV1 : Std.Time.TimeZone.TZif.TZifV1) →
        (footer : Option String) → motive { toTZifV1 := toTZifV1, footer := footer }) →
      motive t