tztime-0.1.0.0: Safe timezone-aware handling of time.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Time.TZInfo

Synopsis

Documentation

data TZInfo Source #

A time zone.

There are two main ways of loading a TZInfo:

  1. Load it from the operating system's time zone database, using loadFromSystem, loadFromFile or getCurrentTZInfo.
  2. Load it from the embedded database, using fromIdentifier or fromLabel.

    This package depends on the tzdata package, 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

Instances details
Data TZInfo Source # 
Instance details

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 # 
Instance details

Defined in Data.Time.TZInfo

Associated Types

type Rep TZInfo :: Type -> Type #

Methods

from :: TZInfo -> Rep TZInfo x #

to :: Rep TZInfo x -> TZInfo #

Show TZInfo Source # 
Instance details

Defined in Data.Time.TZInfo

NFData TZInfo Source # 
Instance details

Defined in Data.Time.TZInfo

Methods

rnf :: TZInfo -> () #

Eq TZInfo Source # 
Instance details

Defined in Data.Time.TZInfo

Methods

(==) :: TZInfo -> TZInfo -> Bool #

(/=) :: TZInfo -> TZInfo -> Bool #

type Rep TZInfo Source # 
Instance details

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.

utc :: TZInfo Source #

The UTC time zone.

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 TZ environment variable is unset, we use /etc/localtime.
  • If TZ is set, but empty, we use utc.
  • If TZ is set and not empty, we use loadFromSystem to 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.

data TZLabel #

Constructors

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 

Instances

Instances details
Data TZLabel 
Instance details

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 
Instance details

Defined in Data.Time.Zones.DB

Enum TZLabel 
Instance details

Defined in Data.Time.Zones.DB

Generic TZLabel 
Instance details

Defined in Data.Time.Zones.DB

Associated Types

type Rep TZLabel :: Type -> Type #

Methods

from :: TZLabel -> Rep TZLabel x #

to :: Rep TZLabel x -> TZLabel #

Read TZLabel 
Instance details

Defined in Data.Time.Zones.DB

Show TZLabel 
Instance details

Defined in Data.Time.Zones.DB

NFData TZLabel 
Instance details

Defined in Data.Time.Zones.DB

Methods

rnf :: TZLabel -> () #

Eq TZLabel 
Instance details

Defined in Data.Time.Zones.DB

Methods

(==) :: TZLabel -> TZLabel -> Bool #

(/=) :: TZLabel -> TZLabel -> Bool #

Ord TZLabel 
Instance details

Defined in Data.Time.Zones.DB

type Rep TZLabel 
Instance details

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))))))))))