Data.Time.TZInfo

Documentation

data TZInfo

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

• tziIdentifier :: TZIdentifier

  The time zone's identifier, e.g. Europe/Paris.

• tziRules :: TZ

  The time zone's rules describing offset changes.

Instances

Data TZInfo

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

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

Defined in Data.Time.TZInfo

Methods

showsPrec :: Int -> TZInfo -> ShowS

show :: TZInfo -> String

showList :: [TZInfo] -> ShowS

NFData TZInfo

Defined in Data.Time.TZInfo

Methods

rnf :: TZInfo -> ()

Eq TZInfo

Defined in Data.Time.TZInfo

Methods

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

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

type Rep TZInfo

Defined in Data.Time.TZInfo

type Rep TZInfo = D1 ('MetaData "TZInfo" "Data.Time.TZInfo" "tztime-0.1.0.0-KGq7AVbuMAdIORAuMR3S2S" '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

A time zone's identifier, e.g. Europe/Paris.

utc :: TZInfo

The UTC time zone.

System's time zone database

loadFromSystem :: TZIdentifier -> IO TZInfo

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

Reads and parses a time zone information file (in tzfile(5) aka. Olson file format).

getCurrentTZInfo :: IO TZInfo

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

Look up a time zone in the tzdata's embedded database.

fromLabel :: TZLabel -> TZInfo

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

Enumeration of time zone locations.

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

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__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__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__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__Andorra

Europe__Astrakhan

Europe__Athens

Europe__Belgrade

Europe__Berlin

Europe__Brussels

Europe__Bucharest

Europe__Budapest

Europe__Chisinau

Europe__Dublin

Europe__Gibraltar

Europe__Helsinki

Europe__Istanbul

Europe__Kaliningrad

Europe__Kirov

Europe__Kyiv

Europe__Lisbon

Europe__London

Europe__Madrid

Europe__Malta

Europe__Minsk

Europe__Moscow

Europe__Paris

Europe__Prague

Europe__Riga

Europe__Rome

Europe__Samara

Europe__Saratov

Europe__Simferopol

Europe__Sofia

Europe__Tallinn

Europe__Tirane

Europe__Ulyanovsk

Europe__Uzhgorod

Europe__Vienna

Europe__Vilnius

Europe__Volgograd

Europe__Warsaw

Europe__Zaporozhye

Europe__Zurich

Indian__Chagos

Indian__Maldives

Indian__Mauritius

Pacific__Apia

Pacific__Auckland

Pacific__Bougainville

Pacific__Chatham

Pacific__Easter

Pacific__Efate

Pacific__Fakaofo

Pacific__Fiji

Pacific__Galapagos

Pacific__Gambier

Pacific__Guadalcanal

Pacific__Guam

Pacific__Honolulu

Pacific__Kanton

Pacific__Kiritimati

Pacific__Kosrae

Pacific__Kwajalein

Pacific__Marquesas

Pacific__Nauru

Pacific__Niue

Pacific__Norfolk

Pacific__Noumea

Pacific__Pago_Pago

Pacific__Palau

Pacific__Pitcairn

Pacific__Port_Moresby

Pacific__Rarotonga

Pacific__Tahiti

Pacific__Tarawa

Pacific__Tongatapu

Root__CET

Root__CST6CDT

Root__EET

Root__EST

Root__EST5EDT

Root__HST

Root__MET

Root__MST

Root__MST7MDT

Root__PST8PDT

Root__WET

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

Defined in Data.Time.Zones.DB

Methods

minBound :: TZLabel

maxBound :: TZLabel

Enum TZLabel

Defined in Data.Time.Zones.DB

Methods

succ :: TZLabel -> TZLabel

pred :: TZLabel -> TZLabel

toEnum :: Int -> TZLabel

fromEnum :: TZLabel -> Int

enumFrom :: TZLabel -> [TZLabel]

enumFromThen :: TZLabel -> TZLabel -> [TZLabel]

enumFromTo :: TZLabel -> TZLabel -> [TZLabel]

enumFromThenTo :: TZLabel -> TZLabel -> TZLabel -> [TZLabel]

Generic TZLabel

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

Defined in Data.Time.Zones.DB

Methods

readsPrec :: Int -> ReadS TZLabel

readList :: ReadS [TZLabel]

readPrec :: ReadPrec TZLabel

readListPrec :: ReadPrec [TZLabel]

Show TZLabel

Defined in Data.Time.Zones.DB

Methods

showsPrec :: Int -> TZLabel -> ShowS

show :: TZLabel -> String

showList :: [TZLabel] -> ShowS

NFData TZLabel

Defined in Data.Time.Zones.DB

Methods

rnf :: TZLabel -> ()

Eq TZLabel

Defined in Data.Time.Zones.DB

Methods

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

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

Ord TZLabel

Defined in Data.Time.Zones.DB

Methods

compare :: TZLabel -> TZLabel -> Ordering

(<) :: TZLabel -> TZLabel -> Bool

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

(>) :: TZLabel -> TZLabel -> Bool

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

max :: TZLabel -> TZLabel -> TZLabel

min :: TZLabel -> TZLabel -> TZLabel

type Rep TZLabel

Defined in Data.Time.Zones.DB

type Rep TZLabel = D1 ('MetaData "TZLabel" "Data.Time.Zones.DB" "tzdata-0.2.20220815.0-WMtTa0brjE1wE9v1BZlvE" '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 "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__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__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__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__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__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__Kirov" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Kyiv" '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__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__Moscow" '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__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__Maldives" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Indian__Mauritius" '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__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__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__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__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 "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))))))))))