(motive : Option (Int64 × Std.Time.TimeZone) → Sort u_1) →
  (__do_lift : Option (Int64 × Std.Time.TimeZone)) →
    ((res : Int64 × Std.Time.TimeZone) → motive (some res)) →
      ((x : Option (Int64 × Std.Time.TimeZone)) → motive x) → motive __do_lift