| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.Time.TZInfo
Synopsis
- data TZInfo = TZInfo {
- tziIdentifier :: TZIdentifier
- tziRules :: TZ
- type TZIdentifier = Text
- utc :: TZInfo
- loadFromSystem :: TZIdentifier -> IO TZInfo
- loadFromFile :: TZIdentifier -> FilePath -> IO TZInfo
- getCurrentTZInfo :: IO TZInfo
- fromIdentifier :: TZIdentifier -> Maybe TZInfo
- fromLabel :: TZLabel -> TZInfo
- data TZLabel
- = Africa__Abidjan
- | Africa__Algiers
- | Africa__Bissau
- | Africa__Cairo
- | Africa__Casablanca
- | Africa__Ceuta
- | Africa__El_Aaiun
- | Africa__Johannesburg
- | Africa__Juba
- | Africa__Khartoum
- | Africa__Lagos
- | Africa__Maputo
- | Africa__Monrovia
- | Africa__Nairobi
- | Africa__Ndjamena
- | Africa__Sao_Tome
- | Africa__Tripoli
- | Africa__Tunis
- | Africa__Windhoek
- | America__Adak
- | America__Anchorage
- | America__Araguaina
- | America__Argentina__Buenos_Aires
- | America__Argentina__Catamarca
- | America__Argentina__Cordoba
- | America__Argentina__Jujuy
- | America__Argentina__La_Rioja
- | America__Argentina__Mendoza
- | America__Argentina__Rio_Gallegos
- | America__Argentina__Salta
- | America__Argentina__San_Juan
- | America__Argentina__San_Luis
- | America__Argentina__Tucuman
- | America__Argentina__Ushuaia
- | America__Asuncion
- | America__Bahia
- | America__Bahia_Banderas
- | America__Barbados
- | America__Belem
- | America__Belize
- | America__Boa_Vista
- | America__Bogota
- | America__Boise
- | America__Cambridge_Bay
- | America__Campo_Grande
- | America__Cancun
- | America__Caracas
- | America__Cayenne
- | America__Chicago
- | America__Chihuahua
- | America__Costa_Rica
- | America__Cuiaba
- | America__Danmarkshavn
- | America__Dawson
- | America__Dawson_Creek
- | America__Denver
- | America__Detroit
- | America__Edmonton
- | America__Eirunepe
- | America__El_Salvador
- | America__Fort_Nelson
- | America__Fortaleza
- | America__Glace_Bay
- | America__Goose_Bay
- | America__Grand_Turk
- | America__Guatemala
- | America__Guayaquil
- | America__Guyana
- | America__Halifax
- | America__Havana
- | America__Hermosillo
- | America__Indiana__Indianapolis
- | America__Indiana__Knox
- | America__Indiana__Marengo
- | America__Indiana__Petersburg
- | America__Indiana__Tell_City
- | America__Indiana__Vevay
- | America__Indiana__Vincennes
- | America__Indiana__Winamac
- | America__Inuvik
- | America__Iqaluit
- | America__Jamaica
- | America__Juneau
- | America__Kentucky__Louisville
- | America__Kentucky__Monticello
- | America__La_Paz
- | America__Lima
- | America__Los_Angeles
- | America__Maceio
- | America__Managua
- | America__Manaus
- | America__Martinique
- | America__Matamoros
- | America__Mazatlan
- | America__Menominee
- | America__Merida
- | America__Metlakatla
- | America__Mexico_City
- | America__Miquelon
- | America__Moncton
- | America__Monterrey
- | America__Montevideo
- | America__New_York
- | America__Nipigon
- | America__Nome
- | America__Noronha
- | America__North_Dakota__Beulah
- | America__North_Dakota__Center
- | America__North_Dakota__New_Salem
- | America__Nuuk
- | America__Ojinaga
- | America__Panama
- | America__Pangnirtung
- | America__Paramaribo
- | America__Phoenix
- | America__Port_au_Prince
- | America__Porto_Velho
- | America__Puerto_Rico
- | America__Punta_Arenas
- | America__Rainy_River
- | America__Rankin_Inlet
- | America__Recife
- | America__Regina
- | America__Resolute
- | America__Rio_Branco
- | America__Santarem
- | America__Santiago
- | America__Santo_Domingo
- | America__Sao_Paulo
- | America__Scoresbysund
- | America__Sitka
- | America__St_Johns
- | America__Swift_Current
- | America__Tegucigalpa
- | America__Thule
- | America__Thunder_Bay
- | America__Tijuana
- | America__Toronto
- | America__Vancouver
- | America__Whitehorse
- | America__Winnipeg
- | America__Yakutat
- | America__Yellowknife
- | Antarctica__Casey
- | Antarctica__Davis
- | Antarctica__Macquarie
- | Antarctica__Mawson
- | Antarctica__Palmer
- | Antarctica__Rothera
- | Antarctica__Troll
- | Antarctica__Vostok
- | Asia__Almaty
- | Asia__Amman
- | Asia__Anadyr
- | Asia__Aqtau
- | Asia__Aqtobe
- | Asia__Ashgabat
- | Asia__Atyrau
- | Asia__Baghdad
- | Asia__Baku
- | Asia__Bangkok
- | Asia__Barnaul
- | Asia__Beirut
- | Asia__Bishkek
- | Asia__Brunei
- | Asia__Chita
- | Asia__Choibalsan
- | Asia__Colombo
- | Asia__Damascus
- | Asia__Dhaka
- | Asia__Dili
- | Asia__Dubai
- | Asia__Dushanbe
- | Asia__Famagusta
- | Asia__Gaza
- | Asia__Hebron
- | Asia__Ho_Chi_Minh
- | Asia__Hong_Kong
- | Asia__Hovd
- | Asia__Irkutsk
- | Asia__Jakarta
- | Asia__Jayapura
- | Asia__Jerusalem
- | Asia__Kabul
- | Asia__Kamchatka
- | Asia__Karachi
- | Asia__Kathmandu
- | Asia__Khandyga
- | Asia__Kolkata
- | Asia__Krasnoyarsk
- | Asia__Kuala_Lumpur
- | Asia__Kuching
- | Asia__Macau
- | Asia__Magadan
- | Asia__Makassar
- | Asia__Manila
- | Asia__Nicosia
- | Asia__Novokuznetsk
- | Asia__Novosibirsk
- | Asia__Omsk
- | Asia__Oral
- | Asia__Pontianak
- | Asia__Pyongyang
- | Asia__Qatar
- | Asia__Qostanay
- | Asia__Qyzylorda
- | Asia__Riyadh
- | Asia__Sakhalin
- | Asia__Samarkand
- | Asia__Seoul
- | Asia__Shanghai
- | Asia__Singapore
- | Asia__Srednekolymsk
- | Asia__Taipei
- | Asia__Tashkent
- | Asia__Tbilisi
- | Asia__Tehran
- | Asia__Thimphu
- | Asia__Tokyo
- | Asia__Tomsk
- | Asia__Ulaanbaatar
- | Asia__Urumqi
- | Asia__Ust_Nera
- | Asia__Vladivostok
- | Asia__Yakutsk
- | Asia__Yangon
- | Asia__Yekaterinburg
- | Asia__Yerevan
- | Atlantic__Azores
- | Atlantic__Bermuda
- | Atlantic__Canary
- | Atlantic__Cape_Verde
- | Atlantic__Faroe
- | Atlantic__Madeira
- | Atlantic__Reykjavik
- | Atlantic__South_Georgia
- | Atlantic__Stanley
- | Australia__Adelaide
- | Australia__Brisbane
- | Australia__Broken_Hill
- | Australia__Darwin
- | Australia__Eucla
- | Australia__Hobart
- | Australia__Lindeman
- | Australia__Lord_Howe
- | Australia__Melbourne
- | Australia__Perth
- | Australia__Sydney
- | Etc__GMT
- | Etc__GMT'1
- | Etc__GMT'10
- | Etc__GMT'11
- | Etc__GMT'12
- | Etc__GMT'2
- | Etc__GMT'3
- | Etc__GMT'4
- | Etc__GMT'5
- | Etc__GMT'6
- | Etc__GMT'7
- | Etc__GMT'8
- | Etc__GMT'9
- | Etc__GMT_1
- | Etc__GMT_10
- | Etc__GMT_11
- | Etc__GMT_12
- | Etc__GMT_13
- | Etc__GMT_14
- | Etc__GMT_2
- | Etc__GMT_3
- | Etc__GMT_4
- | Etc__GMT_5
- | Etc__GMT_6
- | Etc__GMT_7
- | Etc__GMT_8
- | Etc__GMT_9
- | Etc__UTC
- | Europe__Amsterdam
- | Europe__Andorra
- | Europe__Astrakhan
- | Europe__Athens
- | Europe__Belgrade
- | Europe__Berlin
- | Europe__Brussels
- | Europe__Bucharest
- | Europe__Budapest
- | Europe__Chisinau
- | Europe__Copenhagen
- | Europe__Dublin
- | Europe__Gibraltar
- | Europe__Helsinki
- | Europe__Istanbul
- | Europe__Kaliningrad
- | Europe__Kiev
- | Europe__Kirov
- | Europe__Lisbon
- | Europe__London
- | Europe__Luxembourg
- | Europe__Madrid
- | Europe__Malta
- | Europe__Minsk
- | Europe__Monaco
- | Europe__Moscow
- | Europe__Oslo
- | Europe__Paris
- | Europe__Prague
- | Europe__Riga
- | Europe__Rome
- | Europe__Samara
- | Europe__Saratov
- | Europe__Simferopol
- | Europe__Sofia
- | Europe__Stockholm
- | Europe__Tallinn
- | Europe__Tirane
- | Europe__Ulyanovsk
- | Europe__Uzhgorod
- | Europe__Vienna
- | Europe__Vilnius
- | Europe__Volgograd
- | Europe__Warsaw
- | Europe__Zaporozhye
- | Europe__Zurich
- | Indian__Chagos
- | Indian__Christmas
- | Indian__Cocos
- | Indian__Kerguelen
- | Indian__Mahe
- | Indian__Maldives
- | Indian__Mauritius
- | Indian__Reunion
- | Pacific__Apia
- | Pacific__Auckland
- | Pacific__Bougainville
- | Pacific__Chatham
- | Pacific__Chuuk
- | Pacific__Easter
- | Pacific__Efate
- | Pacific__Fakaofo
- | Pacific__Fiji
- | Pacific__Funafuti
- | Pacific__Galapagos
- | Pacific__Gambier
- | Pacific__Guadalcanal
- | Pacific__Guam
- | Pacific__Honolulu
- | Pacific__Kanton
- | Pacific__Kiritimati
- | Pacific__Kosrae
- | Pacific__Kwajalein
- | Pacific__Majuro
- | Pacific__Marquesas
- | Pacific__Nauru
- | Pacific__Niue
- | Pacific__Norfolk
- | Pacific__Noumea
- | Pacific__Pago_Pago
- | Pacific__Palau
- | Pacific__Pitcairn
- | Pacific__Pohnpei
- | Pacific__Port_Moresby
- | Pacific__Rarotonga
- | Pacific__Tahiti
- | Pacific__Tarawa
- | Pacific__Tongatapu
- | Pacific__Wake
- | Pacific__Wallis
- | Root__CET
- | Root__CST6CDT
- | Root__EET
- | Root__EST
- | Root__EST5EDT
- | Root__HST
- | Root__MET
- | Root__MST
- | Root__MST7MDT
- | Root__PST8PDT
- | Root__WET
Documentation
A time zone.
There are two main ways of loading a TZInfo:
- Load it from the operating system's time zone database, using
loadFromSystem,loadFromFileorgetCurrentTZInfo. Load it from the embedded database, using
fromIdentifierorfromLabel.This package depends on the
tzdatapackage, which comes with an embedded IANA time zone database.
The embedded database has the benefit of being portable, that is, it works regardless
of your operating system.
The functions to read from the system database, on the other hand, aren't portable;
loadFromSystem and getCurrentTZInfo are not likely to work on Windows.
However, you have to make sure you're always using the latest version of tzdata
to get the latest updates.
The operating system's time zone database is usually easier to keep up-to-date.
Constructors
| TZInfo | |
Fields
| |
Instances
| Data TZInfo Source # | |
Defined in Data.Time.TZInfo Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TZInfo -> c TZInfo # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TZInfo # toConstr :: TZInfo -> Constr # dataTypeOf :: TZInfo -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TZInfo) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TZInfo) # gmapT :: (forall b. Data b => b -> b) -> TZInfo -> TZInfo # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TZInfo -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TZInfo -> r # gmapQ :: (forall d. Data d => d -> u) -> TZInfo -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TZInfo -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TZInfo -> m TZInfo # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TZInfo -> m TZInfo # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TZInfo -> m TZInfo # | |
| Generic TZInfo Source # | |
| Show TZInfo Source # | |
| NFData TZInfo Source # | |
Defined in Data.Time.TZInfo | |
| Eq TZInfo Source # | |
| type Rep TZInfo Source # | |
Defined in Data.Time.TZInfo type Rep TZInfo = D1 ('MetaData "TZInfo" "Data.Time.TZInfo" "tztime-0.1.0.0-inplace" 'False) (C1 ('MetaCons "TZInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "tziIdentifier") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TZIdentifier) :*: S1 ('MetaSel ('Just "tziRules") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TZ))) | |
type TZIdentifier = Text Source #
A time zone's identifier, e.g. Europe/Paris.
System's time zone database
loadFromSystem :: TZIdentifier -> IO TZInfo Source #
Looks for the time zone file in the system time zone directory, which is
/usr/share/zoneinfo, or if the TZDIR environment variable is
set, then there.
Note, this is unlikely to work on non-posix systems (e.g.,
Windows).
Use fromIdentifier, fromLabel or loadFromFile instead.
Throws an IOException if the identifier is not found.
loadFromFile :: TZIdentifier -> FilePath -> IO TZInfo Source #
Reads and parses a time zone information file (in tzfile(5)
aka. Olson file format).
getCurrentTZInfo :: IO TZInfo Source #
Returns the local TZInfo based on the TZ and TZDIR
environment variables.
See tzset(3) for details, but basically:
- If
TZenvironment variable is unset, we use/etc/localtime. - If
TZis set, but empty, we useutc. - If
TZis set and not empty, we useloadFromSystemto read that file.
Embedded time zone database
fromIdentifier :: TZIdentifier -> Maybe TZInfo Source #
Look up a time zone in the tzdata's embedded database.
fromLabel :: TZLabel -> TZInfo Source #
Retrieves the time zone info for a "canonical" time zone
from tzdata's embedded database.
TZLabel
TZLabel enumerates all the "canonical" time zones from the IANA database.
For example, the 2022a version of the IANA database defines Europe/London as a
"canonical" time zone and Europe/Jersey, Europe/Guernsey and Europe/Isle_of_Man as
links to Europe/London.
Zone Europe/London -0:01:15 - LMT 1847 Dec 1 0:00s ... Link Europe/London Europe/Jersey Link Europe/London Europe/Guernsey Link Europe/London Europe/Isle_of_Man
Note that fromLabel only supports canonical time zone identifiers, whereas
fromIdentifier supports all time zone identifiers.
Constructors
Instances
| Data TZLabel | |
Defined in Data.Time.Zones.DB Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TZLabel -> c TZLabel # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TZLabel # toConstr :: TZLabel -> Constr # dataTypeOf :: TZLabel -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TZLabel) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TZLabel) # gmapT :: (forall b. Data b => b -> b) -> TZLabel -> TZLabel # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TZLabel -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TZLabel -> r # gmapQ :: (forall d. Data d => d -> u) -> TZLabel -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TZLabel -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TZLabel -> m TZLabel # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TZLabel -> m TZLabel # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TZLabel -> m TZLabel # | |
| Bounded TZLabel | |
| Enum TZLabel | |
| Generic TZLabel | |
| Read TZLabel | |
| Show TZLabel | |
| NFData TZLabel | |
Defined in Data.Time.Zones.DB | |
| Eq TZLabel | |
| Ord TZLabel | |
| type Rep TZLabel | |
Defined in Data.Time.Zones.DB type Rep TZLabel = D1 ('MetaData "TZLabel" "Data.Time.Zones.DB" "tzdata-0.2.20220315.0-0c8e688062089a4ba18face16f4252a151805bb698b22af0cbaf2fbe4b964f64" 'False) ((((((((C1 ('MetaCons "Africa__Abidjan" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Algiers" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Africa__Bissau" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Africa__Cairo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Casablanca" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Africa__Ceuta" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Africa__El_Aaiun" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Johannesburg" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Africa__Juba" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Africa__Khartoum" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Lagos" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Africa__Maputo" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Africa__Monrovia" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Nairobi" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Africa__Ndjamena" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Africa__Sao_Tome" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Tripoli" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Africa__Tunis" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Africa__Windhoek" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Adak" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "America__Anchorage" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Araguaina" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Argentina__Buenos_Aires" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "America__Argentina__Catamarca" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Argentina__Cordoba" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Argentina__Jujuy" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "America__Argentina__La_Rioja" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Argentina__Mendoza" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Argentina__Rio_Gallegos" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "America__Argentina__Salta" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Argentina__San_Juan" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Argentina__San_Luis" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "America__Argentina__Tucuman" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Argentina__Ushuaia" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Asuncion" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "America__Bahia" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Bahia_Banderas" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Barbados" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "America__Belem" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Belize" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Boa_Vista" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "America__Bogota" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Boise" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Cambridge_Bay" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "America__Campo_Grande" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Cancun" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Caracas" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "America__Cayenne" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Chicago" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Chihuahua" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Costa_Rica" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Cuiaba" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "America__Danmarkshavn" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Dawson" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Dawson_Creek" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "America__Denver" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Detroit" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Edmonton" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "America__Eirunepe" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__El_Salvador" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Fort_Nelson" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "America__Fortaleza" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Glace_Bay" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Goose_Bay" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "America__Grand_Turk" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Guatemala" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Guayaquil" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "America__Guyana" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Halifax" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Havana" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "America__Hermosillo" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Indiana__Indianapolis" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Indiana__Knox" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "America__Indiana__Marengo" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Indiana__Petersburg" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Indiana__Tell_City" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "America__Indiana__Vevay" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Indiana__Vincennes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Indiana__Winamac" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "America__Inuvik" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Iqaluit" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Jamaica" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "America__Juneau" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Kentucky__Louisville" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Kentucky__Monticello" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "America__La_Paz" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Lima" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Los_Angeles" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "America__Maceio" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Managua" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Manaus" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "America__Martinique" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Matamoros" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Mazatlan" 'PrefixI 'False) (U1 :: Type -> Type)))))))) :+: ((((((C1 ('MetaCons "America__Menominee" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Merida" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Metlakatla" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Mexico_City" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Miquelon" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "America__Moncton" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Monterrey" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Montevideo" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "America__New_York" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Nipigon" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Nome" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "America__Noronha" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__North_Dakota__Beulah" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__North_Dakota__Center" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "America__North_Dakota__New_Salem" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Nuuk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Ojinaga" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "America__Panama" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Pangnirtung" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Paramaribo" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "America__Phoenix" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Port_au_Prince" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Porto_Velho" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "America__Puerto_Rico" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Punta_Arenas" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Rainy_River" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "America__Rankin_Inlet" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Recife" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Regina" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "America__Resolute" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Rio_Branco" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Santarem" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "America__Santiago" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Santo_Domingo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Sao_Paulo" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "America__Scoresbysund" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Sitka" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__St_Johns" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "America__Swift_Current" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Tegucigalpa" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Thule" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "America__Thunder_Bay" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Tijuana" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Toronto" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "America__Vancouver" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Whitehorse" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Winnipeg" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "America__Yakutat" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Yellowknife" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Antarctica__Casey" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Antarctica__Davis" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Antarctica__Macquarie" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Antarctica__Mawson" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Antarctica__Palmer" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Antarctica__Rothera" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Antarctica__Troll" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Antarctica__Vostok" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Almaty" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Asia__Amman" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Anadyr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Aqtau" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Asia__Aqtobe" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Ashgabat" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Atyrau" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Asia__Baghdad" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Baku" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Bangkok" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Asia__Barnaul" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Beirut" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Bishkek" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Asia__Brunei" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Chita" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Choibalsan" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Asia__Colombo" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Damascus" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Dhaka" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Asia__Dili" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Dubai" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Dushanbe" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Asia__Famagusta" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Gaza" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Hebron" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Asia__Ho_Chi_Minh" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Hong_Kong" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Hovd" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Asia__Irkutsk" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Jakarta" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Jayapura" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Asia__Jerusalem" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Kabul" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Kamchatka" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Asia__Karachi" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Kathmandu" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Khandyga" 'PrefixI 'False) (U1 :: Type -> Type))))))))) :+: (((((((C1 ('MetaCons "Asia__Kolkata" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Krasnoyarsk" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Kuala_Lumpur" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Kuching" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Macau" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Asia__Magadan" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Makassar" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Manila" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Asia__Nicosia" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Novokuznetsk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Novosibirsk" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Asia__Omsk" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Oral" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Pontianak" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Asia__Pyongyang" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Qatar" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Qostanay" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Asia__Qyzylorda" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Riyadh" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Sakhalin" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Asia__Samarkand" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Seoul" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Shanghai" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Asia__Singapore" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Srednekolymsk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Taipei" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Asia__Tashkent" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Tbilisi" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Tehran" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Asia__Thimphu" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Tokyo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Tomsk" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Asia__Ulaanbaatar" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Urumqi" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Ust_Nera" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Asia__Vladivostok" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Yakutsk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Yangon" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Asia__Yekaterinburg" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Yerevan" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Atlantic__Azores" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Atlantic__Bermuda" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Atlantic__Canary" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Atlantic__Cape_Verde" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Atlantic__Faroe" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Atlantic__Madeira" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Atlantic__Reykjavik" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "Atlantic__South_Georgia" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Atlantic__Stanley" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Australia__Adelaide" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Australia__Brisbane" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Australia__Broken_Hill" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Australia__Darwin" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Australia__Eucla" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Australia__Hobart" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Australia__Lindeman" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Australia__Lord_Howe" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Australia__Melbourne" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Australia__Perth" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Australia__Sydney" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Etc__GMT'1" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Etc__GMT'10" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT'11" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Etc__GMT'12" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Etc__GMT'2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT'3" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Etc__GMT'4" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Etc__GMT'5" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT'6" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Etc__GMT'7" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Etc__GMT'8" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT'9" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Etc__GMT_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Etc__GMT_10" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT_11" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Etc__GMT_12" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Etc__GMT_13" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT_14" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Etc__GMT_2" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Etc__GMT_3" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT_4" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Etc__GMT_5" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Etc__GMT_6" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT_7" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Etc__GMT_8" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Etc__GMT_9" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__UTC" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Europe__Amsterdam" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Andorra" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Astrakhan" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Europe__Athens" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Belgrade" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Berlin" 'PrefixI 'False) (U1 :: Type -> Type)))))))) :+: ((((((C1 ('MetaCons "Europe__Brussels" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Bucharest" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Europe__Budapest" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Chisinau" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Copenhagen" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Europe__Dublin" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Gibraltar" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Helsinki" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Europe__Istanbul" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Kaliningrad" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Kiev" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Europe__Kirov" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Lisbon" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__London" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Europe__Luxembourg" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Madrid" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Malta" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Europe__Minsk" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Monaco" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Moscow" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Europe__Oslo" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Paris" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Prague" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Europe__Riga" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Rome" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Samara" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Europe__Saratov" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Simferopol" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Sofia" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Europe__Stockholm" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Tallinn" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Tirane" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Europe__Ulyanovsk" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Uzhgorod" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Vienna" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Europe__Vilnius" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Volgograd" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Warsaw" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Europe__Zaporozhye" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Zurich" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Indian__Chagos" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Indian__Christmas" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Indian__Cocos" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Indian__Kerguelen" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Indian__Mahe" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Indian__Maldives" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Indian__Mauritius" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "Indian__Reunion" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pacific__Apia" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Auckland" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Pacific__Bougainville" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pacific__Chatham" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Chuuk" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Pacific__Easter" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pacific__Efate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Fakaofo" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Pacific__Fiji" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pacific__Funafuti" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Galapagos" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Pacific__Gambier" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pacific__Guadalcanal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Guam" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Pacific__Honolulu" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pacific__Kanton" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Kiritimati" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Pacific__Kosrae" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pacific__Kwajalein" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Majuro" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Pacific__Marquesas" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pacific__Nauru" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Niue" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Pacific__Norfolk" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pacific__Noumea" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Pago_Pago" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Pacific__Palau" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pacific__Pitcairn" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Pohnpei" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Pacific__Port_Moresby" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pacific__Rarotonga" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Tahiti" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Pacific__Tarawa" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pacific__Tongatapu" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Wake" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Pacific__Wallis" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Root__CET" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Root__CST6CDT" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Root__EET" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Root__EST" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Root__EST5EDT" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Root__HST" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Root__MET" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Root__MST" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Root__MST7MDT" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Root__PST8PDT" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Root__WET" 'PrefixI 'False) (U1 :: Type -> Type)))))))))) | |