Data.Time.Zones.All

Documentation

toTZName :: TZLabel -> ByteString

Convert a TZLabel to the usual name of the location.

> toTZName Europe__Paris
"Europe/Paris"

fromTZName :: ByteString -> Maybe TZLabel

Lookup the TZLabel by the name of the location.

Returns Nothing if the location is unknown.

> :set -XOverloadedStrings
> fromTZName "Europe/Paris"
Just Europe__Paris
> fromTZName "Foo/Bar"
Nothing

tzNameLabelMap :: Map ByteString TZLabel

Map mapping know time zone locations to their canonical TZLabels.

tzByLabel :: TZLabel -> TZ

Lookup a TZ by its label.

utcToNewYork :: UTCTime -> LocalTime
utcToNewYork = utcToLocalTimeTZ $ tzByLabel America__New_York

tzByName :: ByteString -> Maybe TZ

Lookup a TZ by the name of it's location.

Returns Nothing if the location is unknown.

data TZLabel

Enumeration of time zone locations.

Constructors

Africa__Abidjan

Africa__Accra

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__Atikokan

America__Bahia

America__Bahia_Banderas

America__Barbados

America__Belem

America__Belize

America__Blanc_Sablon

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__Creston

America__Cuiaba

America__Curacao

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__Godthab

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__Nassau

America__New_York

America__Nipigon

America__Nome

America__Noronha

America__North_Dakota__Beulah

America__North_Dakota__Center

America__North_Dakota__New_Salem

America__Ojinaga

America__Panama

America__Pangnirtung

America__Paramaribo

America__Phoenix

America__Port_au_Prince

America__Port_of_Spain

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__DumontDUrville

Antarctica__Macquarie

Antarctica__Mawson

Antarctica__Palmer

Antarctica__Rothera

Antarctica__Syowa

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__Currie

Australia__Darwin

Australia__Eucla

Australia__Hobart

Australia__Lindeman

Australia__Lord_Howe

Australia__Melbourne

Australia__Perth

Australia__Sydney

Etc__GMT

Etc__GMT1

Etc__GMT10

Etc__GMT11

Etc__GMT12

Etc__GMT2

Etc__GMT3

Etc__GMT4

Etc__GMT5

Etc__GMT6

Etc__GMT7

Etc__GMT8

Etc__GMT9

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__Enderbury

Pacific__Fakaofo

Pacific__Fiji

Pacific__Funafuti

Pacific__Galapagos

Pacific__Gambier

Pacific__Guadalcanal

Pacific__Guam

Pacific__Honolulu

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

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]

Eq TZLabel

Defined in Data.Time.Zones.DB

Methods

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

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

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 :: (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

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

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

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

NFData TZLabel

Defined in Data.Time.Zones.DB

Methods

rnf :: TZLabel -> ()

type Rep TZLabel

Defined in Data.Time.Zones.DB

type Rep TZLabel = D1 (MetaData "TZLabel" "Data.Time.Zones.DB" "tzdata-0.1.20190325.0-8zu6f4QmP3EEoAFgHfj1Fn" False) ((((((((C1 (MetaCons "Africa__Abidjan" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Africa__Accra" 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__Atikokan" 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__Blanc_Sablon" 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__Creston" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "America__Cuiaba" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "America__Curacao" 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__Godthab" 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__Nassau" 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__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__Port_of_Spain" 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__DumontDUrville" 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__Syowa" 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__Currie" 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__GMT1" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Etc__GMT10" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Etc__GMT11" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "Etc__GMT12" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Etc__GMT2" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Etc__GMT3" PrefixI False) (U1 :: Type -> Type)))))) :+: ((((C1 (MetaCons "Etc__GMT4" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Etc__GMT5" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Etc__GMT6" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "Etc__GMT7" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Etc__GMT8" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Etc__GMT9" 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__Enderbury" 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__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))))))))))