From discussion with @Drup ``` ∀ f : t -> t. if ∀ timezone. resolve x1 = resolve x2 then ∀ timezone. resolve (f x1) = resolve (f x2) ```
