romote a time zone abbreviation and offset to the type level.
promoteOlson
  :: forall proxy1 proxy2 symbol signat a . (KnownSymbol symbol, KnownSigNat signat)
  => proxy1 symbol
  -> proxy2 signat
  -> (Proxy symbol -> Proxy signat -> a)
  -> a
promoteOlson _ _ f = f Proxy Proxy

-- |
--
promoteOlson
  :: forall proxy1 proxy2 symbol signat a . (KnownSymbol symbol, KnownSigNat signat)
  => proxy1 symbol
  -> proxy2 signat
  -> (Proxy symbol -> Proxy signat -> a)
  -> a
promoteOlson _ _ f = f Proxy Proxy
promoteOlson _ _ f = f Proxy Proxy