{-# LANGUAGE PatternSynonyms #-}
module Country.Identifier where

-- This module is autogenerated. Do not edit it by hand.

import Country.Unsafe (Country(..))

-- | Afghanistan
afghanistan :: Country
afghanistan :: Country
afghanistan = Word16 -> Country
Country Word16
4

pattern Afghanistan :: Country
pattern $mAfghanistan :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bAfghanistan :: Country
Afghanistan = Country 4

-- | Aaland Islands; Aland Islands; Åland; Åland Islands
ålandIslands :: Country
ålandIslands :: Country
ålandIslands = Word16 -> Country
Country Word16
248

pattern ÅlandIslands :: Country
pattern $mÅlandIslands :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bÅlandIslands :: Country
ÅlandIslands = Country 248

-- | Albania; Arbanon; Republic of Albania; Republika e Shqipërisë
albania :: Country
albania :: Country
albania = Word16 -> Country
Country Word16
8

pattern Albania :: Country
pattern $mAlbania :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bAlbania :: Country
Albania = Country 8

-- | Algeria; Algérie; Dzayer; People's Democratic Republic of Algeria; al Jumhuriyya al Jazaa'iriyya ad-Dīmuqrāţiyya ash Sha'biyya; al-Jazā'ir; الجزائر; ⴷⵣⴰⵢⴻⵔ
algeria :: Country
algeria :: Country
algeria = Word16 -> Country
Country Word16
12

pattern Algeria :: Country
pattern $mAlgeria :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bAlgeria :: Country
Algeria = Country 12

-- | American Samoa
americanSamoa :: Country
americanSamoa :: Country
americanSamoa = Word16 -> Country
Country Word16
16

pattern AmericanSamoa :: Country
pattern $mAmericanSamoa :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bAmericanSamoa :: Country
AmericanSamoa = Country 16

-- | Andorra
andorra :: Country
andorra :: Country
andorra = Word16 -> Country
Country Word16
20

pattern Andorra :: Country
pattern $mAndorra :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bAndorra :: Country
Andorra = Country 20

-- | Angola
angola :: Country
angola :: Country
angola = Word16 -> Country
Country Word16
24

pattern Angola :: Country
pattern $mAngola :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bAngola :: Country
Angola = Country 24

-- | Anguilla
anguilla :: Country
anguilla :: Country
anguilla = Word16 -> Country
Country Word16
660

pattern Anguilla :: Country
pattern $mAnguilla :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bAnguilla :: Country
Anguilla = Country 660

-- | Antarctica
antarctica :: Country
antarctica :: Country
antarctica = Word16 -> Country
Country Word16
10

pattern Antarctica :: Country
pattern $mAntarctica :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bAntarctica :: Country
Antarctica = Country 10

-- | Antigua and Barbuda
antiguaAndBarbuda :: Country
antiguaAndBarbuda :: Country
antiguaAndBarbuda = Word16 -> Country
Country Word16
28

pattern AntiguaAndBarbuda :: Country
pattern $mAntiguaAndBarbuda :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bAntiguaAndBarbuda :: Country
AntiguaAndBarbuda = Country 28

-- | Argentina; Argentine Confederation; Argentine Nation; Argentine Republic; La Argentina; The Argentine; United Provinces of the Río de la Plata; la Argentina; the Argentine
argentina :: Country
argentina :: Country
argentina = Word16 -> Country
Country Word16
32

pattern Argentina :: Country
pattern $mArgentina :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bArgentina :: Country
Argentina = Country 32

-- | Armenia
armenia :: Country
armenia :: Country
armenia = Word16 -> Country
Country Word16
51

pattern Armenia :: Country
pattern $mArmenia :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bArmenia :: Country
Armenia = Country 51

-- | Aruba
aruba :: Country
aruba :: Country
aruba = Word16 -> Country
Country Word16
533

pattern Aruba :: Country
pattern $mAruba :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bAruba :: Country
Aruba = Country 533

-- | Australia; Commonwealth of Australia; New Holland
australia :: Country
australia :: Country
australia = Word16 -> Country
Country Word16
36

pattern Australia :: Country
pattern $mAustralia :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bAustralia :: Country
Australia = Country 36

-- | Austria; Republic of Austria; Republik Österreich; Österreich
austria :: Country
austria :: Country
austria = Word16 -> Country
Country Word16
40

pattern Austria :: Country
pattern $mAustria :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bAustria :: Country
Austria = Country 40

-- | Azerbaijan
azerbaijan :: Country
azerbaijan :: Country
azerbaijan = Word16 -> Country
Country Word16
31

pattern Azerbaijan :: Country
pattern $mAzerbaijan :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bAzerbaijan :: Country
Azerbaijan = Country 31

-- | Bahamas
bahamas :: Country
bahamas :: Country
bahamas = Word16 -> Country
Country Word16
44

pattern Bahamas :: Country
pattern $mBahamas :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bBahamas :: Country
Bahamas = Country 44

-- | Bahrain
bahrain :: Country
bahrain :: Country
bahrain = Word16 -> Country
Country Word16
48

pattern Bahrain :: Country
pattern $mBahrain :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bBahrain :: Country
Bahrain = Country 48

-- | Bangladesh
bangladesh :: Country
bangladesh :: Country
bangladesh = Word16 -> Country
Country Word16
50

pattern Bangladesh :: Country
pattern $mBangladesh :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bBangladesh :: Country
Bangladesh = Country 50

-- | Barbados
barbados :: Country
barbados :: Country
barbados = Word16 -> Country
Country Word16
52

pattern Barbados :: Country
pattern $mBarbados :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bBarbados :: Country
Barbados = Country 52

-- | Belarus
belarus :: Country
belarus :: Country
belarus = Word16 -> Country
Country Word16
112

pattern Belarus :: Country
pattern $mBelarus :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bBelarus :: Country
Belarus = Country 112

-- | Belgium
belgium :: Country
belgium :: Country
belgium = Word16 -> Country
Country Word16
56

pattern Belgium :: Country
pattern $mBelgium :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bBelgium :: Country
Belgium = Country 56

-- | Belize
belize :: Country
belize :: Country
belize = Word16 -> Country
Country Word16
84

pattern Belize :: Country
pattern $mBelize :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bBelize :: Country
Belize = Country 84

-- | Benin
benin :: Country
benin :: Country
benin = Word16 -> Country
Country Word16
204

pattern Benin :: Country
pattern $mBenin :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bBenin :: Country
Benin = Country 204

-- | Bermuda
bermuda :: Country
bermuda :: Country
bermuda = Word16 -> Country
Country Word16
60

pattern Bermuda :: Country
pattern $mBermuda :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bBermuda :: Country
Bermuda = Country 60

-- | Bhutan
bhutan :: Country
bhutan :: Country
bhutan = Word16 -> Country
Country Word16
64

pattern Bhutan :: Country
pattern $mBhutan :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bBhutan :: Country
Bhutan = Country 64

-- | Bolivia; Bolivia (Plurinational State of); Plurinational State of Bolivia
boliviaPlurinationalStateOf :: Country
boliviaPlurinationalStateOf :: Country
boliviaPlurinationalStateOf = Word16 -> Country
Country Word16
68

pattern BoliviaPlurinationalStateOf :: Country
pattern $mBoliviaPlurinationalStateOf :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bBoliviaPlurinationalStateOf :: Country
BoliviaPlurinationalStateOf = Country 68

-- | Bonaire, Sint Eustatius and Saba; Bonaire, Sint Eustatius, and Saba
bonaireSintEustatiusAndSaba :: Country
bonaireSintEustatiusAndSaba :: Country
bonaireSintEustatiusAndSaba = Word16 -> Country
Country Word16
535

pattern BonaireSintEustatiusAndSaba :: Country
pattern $mBonaireSintEustatiusAndSaba :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bBonaireSintEustatiusAndSaba :: Country
BonaireSintEustatiusAndSaba = Country 535

-- | Bosnia and Herzegovina
bosniaAndHerzegovina :: Country
bosniaAndHerzegovina :: Country
bosniaAndHerzegovina = Word16 -> Country
Country Word16
70

pattern BosniaAndHerzegovina :: Country
pattern $mBosniaAndHerzegovina :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bBosniaAndHerzegovina :: Country
BosniaAndHerzegovina = Country 70

-- | Botswana
botswana :: Country
botswana :: Country
botswana = Word16 -> Country
Country Word16
72

pattern Botswana :: Country
pattern $mBotswana :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bBotswana :: Country
Botswana = Country 72

-- | Bouvet Island
bouvetIsland :: Country
bouvetIsland :: Country
bouvetIsland = Word16 -> Country
Country Word16
74

pattern BouvetIsland :: Country
pattern $mBouvetIsland :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bBouvetIsland :: Country
BouvetIsland = Country 74

-- | Brazil; Empire of Brazil; Federative Republic of Brazil; Ilha de Vera Cruz; Pindorama; República Federativa do Brasil; Terra de Santa Cruz; Terra di Papaga; United States of Brazil
brazil :: Country
brazil :: Country
brazil = Word16 -> Country
Country Word16
76

pattern Brazil :: Country
pattern $mBrazil :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bBrazil :: Country
Brazil = Country 76

-- | British Indian Ocean Territory
britishIndianOceanTerritory :: Country
britishIndianOceanTerritory :: Country
britishIndianOceanTerritory = Word16 -> Country
Country Word16
86

pattern BritishIndianOceanTerritory :: Country
pattern $mBritishIndianOceanTerritory :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bBritishIndianOceanTerritory :: Country
BritishIndianOceanTerritory = Country 86

-- | Brunei; Brunei Darussalam
bruneiDarussalam :: Country
bruneiDarussalam :: Country
bruneiDarussalam = Word16 -> Country
Country Word16
96

pattern BruneiDarussalam :: Country
pattern $mBruneiDarussalam :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bBruneiDarussalam :: Country
BruneiDarussalam = Country 96

-- | Bulgaria
bulgaria :: Country
bulgaria :: Country
bulgaria = Word16 -> Country
Country Word16
100

pattern Bulgaria :: Country
pattern $mBulgaria :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bBulgaria :: Country
Bulgaria = Country 100

-- | Burkina Faso
burkinaFaso :: Country
burkinaFaso :: Country
burkinaFaso = Word16 -> Country
Country Word16
854

pattern BurkinaFaso :: Country
pattern $mBurkinaFaso :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bBurkinaFaso :: Country
BurkinaFaso = Country 854

-- | Burundi
burundi :: Country
burundi :: Country
burundi = Word16 -> Country
Country Word16
108

pattern Burundi :: Country
pattern $mBurundi :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bBurundi :: Country
Burundi = Country 108

-- | Cambodia; Democratic Kampuchea; Kingdom of Cambodia; Royaume du Cambodge
cambodia :: Country
cambodia :: Country
cambodia = Word16 -> Country
Country Word16
116

pattern Cambodia :: Country
pattern $mCambodia :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bCambodia :: Country
Cambodia = Country 116

-- | Cameroon
cameroon :: Country
cameroon :: Country
cameroon = Word16 -> Country
Country Word16
120

pattern Cameroon :: Country
pattern $mCameroon :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bCameroon :: Country
Cameroon = Country 120

-- | Canada
canada :: Country
canada :: Country
canada = Word16 -> Country
Country Word16
124

pattern Canada :: Country
pattern $mCanada :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bCanada :: Country
Canada = Country 124

-- | Cabo Verde; Cape Verde
caboVerde :: Country
caboVerde :: Country
caboVerde = Word16 -> Country
Country Word16
132

pattern CaboVerde :: Country
pattern $mCaboVerde :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bCaboVerde :: Country
CaboVerde = Country 132

-- | Cayman Islands
caymanIslands :: Country
caymanIslands :: Country
caymanIslands = Word16 -> Country
Country Word16
136

pattern CaymanIslands :: Country
pattern $mCaymanIslands :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bCaymanIslands :: Country
CaymanIslands = Country 136

-- | Central African Republic
centralAfricanRepublic :: Country
centralAfricanRepublic :: Country
centralAfricanRepublic = Word16 -> Country
Country Word16
140

pattern CentralAfricanRepublic :: Country
pattern $mCentralAfricanRepublic :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bCentralAfricanRepublic :: Country
CentralAfricanRepublic = Country 140

-- | Chad
chad :: Country
chad :: Country
chad = Word16 -> Country
Country Word16
148

pattern Chad :: Country
pattern $mChad :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bChad :: Country
Chad = Country 148

-- | Capitania general de Chile; Chile; Chili; Chilli; Republic of Chile; Reyno de Chile
chile :: Country
chile :: Country
chile = Word16 -> Country
Country Word16
152

pattern Chile :: Country
pattern $mChile :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bChile :: Country
Chile = Country 152

-- | China
china :: Country
china :: Country
china = Word16 -> Country
Country Word16
156

pattern China :: Country
pattern $mChina :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bChina :: Country
China = Country 156

-- | Christmas Island
christmasIsland :: Country
christmasIsland :: Country
christmasIsland = Word16 -> Country
Country Word16
162

pattern ChristmasIsland :: Country
pattern $mChristmasIsland :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bChristmasIsland :: Country
ChristmasIsland = Country 162

-- | Cocos (Keeling) Islands; Cocos Islands; Cocos [Keeling] Islands; Keeling Islands
cocosKeelingIslands :: Country
cocosKeelingIslands :: Country
cocosKeelingIslands = Word16 -> Country
Country Word16
166

pattern CocosKeelingIslands :: Country
pattern $mCocosKeelingIslands :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bCocosKeelingIslands :: Country
CocosKeelingIslands = Country 166

-- | Colombia
colombia :: Country
colombia :: Country
colombia = Word16 -> Country
Country Word16
170

pattern Colombia :: Country
pattern $mColombia :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bColombia :: Country
Colombia = Country 170

-- | Comoros
comoros :: Country
comoros :: Country
comoros = Word16 -> Country
Country Word16
174

pattern Comoros :: Country
pattern $mComoros :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bComoros :: Country
Comoros = Country 174

-- | Congo; DR Congo; Democratic Republic of the Congo; Republic of the Congo
congo :: Country
congo :: Country
congo = Word16 -> Country
Country Word16
178

pattern Congo :: Country
pattern $mCongo :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bCongo :: Country
Congo = Country 178

-- | Congo (Democratic Republic of the)
congoDemocraticRepublicOfThe :: Country
congoDemocraticRepublicOfThe :: Country
congoDemocraticRepublicOfThe = Word16 -> Country
Country Word16
180

pattern CongoDemocraticRepublicOfThe :: Country
pattern $mCongoDemocraticRepublicOfThe :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bCongoDemocraticRepublicOfThe :: Country
CongoDemocraticRepublicOfThe = Country 180

-- | Cook Islands
cookIslands :: Country
cookIslands :: Country
cookIslands = Word16 -> Country
Country Word16
184

pattern CookIslands :: Country
pattern $mCookIslands :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bCookIslands :: Country
CookIslands = Country 184

-- | Costa Rica
costaRica :: Country
costaRica :: Country
costaRica = Word16 -> Country
Country Word16
188

pattern CostaRica :: Country
pattern $mCostaRica :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bCostaRica :: Country
CostaRica = Country 188

-- | Côte d'Ivoire; Ivory Coast; Republic of Côte d'Ivoire
côteDivoire :: Country
côteDivoire :: Country
côteDivoire = Word16 -> Country
Country Word16
384

pattern CôteDivoire :: Country
pattern $mCôteDivoire :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bCôteDivoire :: Country
CôteDivoire = Country 384

-- | Croatia
croatia :: Country
croatia :: Country
croatia = Word16 -> Country
Country Word16
191

pattern Croatia :: Country
pattern $mCroatia :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bCroatia :: Country
Croatia = Country 191

-- | Cuba
cuba :: Country
cuba :: Country
cuba = Word16 -> Country
Country Word16
192

pattern Cuba :: Country
pattern $mCuba :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bCuba :: Country
Cuba = Country 192

-- | Curaçao
curaçao :: Country
curaçao :: Country
curaçao = Word16 -> Country
Country Word16
531

pattern Curaçao :: Country
pattern $mCuraçao :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bCuraçao :: Country
Curaçao = Country 531

-- | Cyprus
cyprus :: Country
cyprus :: Country
cyprus = Word16 -> Country
Country Word16
196

pattern Cyprus :: Country
pattern $mCyprus :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bCyprus :: Country
Cyprus = Country 196

-- | Czech Republic; Czechia; Česko; Česká republika
czechRepublic :: Country
czechRepublic :: Country
czechRepublic = Word16 -> Country
Country Word16
203

pattern CzechRepublic :: Country
pattern $mCzechRepublic :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bCzechRepublic :: Country
CzechRepublic = Country 203

-- | Danmark; Denmark; Kingdom of Denmark; Kongeriget Danmark
denmark :: Country
denmark :: Country
denmark = Word16 -> Country
Country Word16
208

pattern Denmark :: Country
pattern $mDenmark :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bDenmark :: Country
Denmark = Country 208

-- | Côte française des Somalis, Territoire d'Obock; Djibouti; French Somaliland; French Territory of the Afars and the Issas; Obock Territory; Republic of Djibouti; République de Djibouti; Territoire français des Afars et des Issas
djibouti :: Country
djibouti :: Country
djibouti = Word16 -> Country
Country Word16
262

pattern Djibouti :: Country
pattern $mDjibouti :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bDjibouti :: Country
Djibouti = Country 262

-- | Dominica
dominica :: Country
dominica :: Country
dominica = Word16 -> Country
Country Word16
212

pattern Dominica :: Country
pattern $mDominica :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bDominica :: Country
Dominica = Country 212

-- | Dominican Republic
dominicanRepublic :: Country
dominicanRepublic :: Country
dominicanRepublic = Word16 -> Country
Country Word16
214

pattern DominicanRepublic :: Country
pattern $mDominicanRepublic :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bDominicanRepublic :: Country
DominicanRepublic = Country 214

-- | Ecuador
ecuador :: Country
ecuador :: Country
ecuador = Word16 -> Country
Country Word16
218

pattern Ecuador :: Country
pattern $mEcuador :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bEcuador :: Country
Ecuador = Country 218

-- | Aegyptus; Egypt; Meṣr
egypt :: Country
egypt :: Country
egypt = Word16 -> Country
Country Word16
818

pattern Egypt :: Country
pattern $mEgypt :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bEgypt :: Country
Egypt = Country 818

-- | El Salvador
elSalvador :: Country
elSalvador :: Country
elSalvador = Word16 -> Country
Country Word16
222

pattern ElSalvador :: Country
pattern $mElSalvador :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bElSalvador :: Country
ElSalvador = Country 222

-- | Equatorial Guinea
equatorialGuinea :: Country
equatorialGuinea :: Country
equatorialGuinea = Word16 -> Country
Country Word16
226

pattern EquatorialGuinea :: Country
pattern $mEquatorialGuinea :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bEquatorialGuinea :: Country
EquatorialGuinea = Country 226

-- | Eritrea
eritrea :: Country
eritrea :: Country
eritrea = Word16 -> Country
Country Word16
232

pattern Eritrea :: Country
pattern $mEritrea :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bEritrea :: Country
Eritrea = Country 232

-- | Estonia
estonia :: Country
estonia :: Country
estonia = Word16 -> Country
Country Word16
233

pattern Estonia :: Country
pattern $mEstonia :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bEstonia :: Country
Estonia = Country 233

-- | Ethiopia
ethiopia :: Country
ethiopia :: Country
ethiopia = Word16 -> Country
Country Word16
231

pattern Ethiopia :: Country
pattern $mEthiopia :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bEthiopia :: Country
Ethiopia = Country 231

-- | Falkland Islands; Falkland Islands (Malvinas); Falkland Islands [Malvinas]
falklandIslandsMalvinas :: Country
falklandIslandsMalvinas :: Country
falklandIslandsMalvinas = Word16 -> Country
Country Word16
238

pattern FalklandIslandsMalvinas :: Country
pattern $mFalklandIslandsMalvinas :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bFalklandIslandsMalvinas :: Country
FalklandIslandsMalvinas = Country 238

-- | Faroe Islands
faroeIslands :: Country
faroeIslands :: Country
faroeIslands = Word16 -> Country
Country Word16
234

pattern FaroeIslands :: Country
pattern $mFaroeIslands :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bFaroeIslands :: Country
FaroeIslands = Country 234

-- | Fiji
fiji :: Country
fiji :: Country
fiji = Word16 -> Country
Country Word16
242

pattern Fiji :: Country
pattern $mFiji :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bFiji :: Country
Fiji = Country 242

-- | Finland
finland :: Country
finland :: Country
finland = Word16 -> Country
Country Word16
246

pattern Finland :: Country
pattern $mFinland :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bFinland :: Country
Finland = Country 246

-- | Farança; France; French Republic; La France; République Française
france :: Country
france :: Country
france = Word16 -> Country
Country Word16
250

pattern France :: Country
pattern $mFrance :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bFrance :: Country
France = Country 250

-- | French Guiana
frenchGuiana :: Country
frenchGuiana :: Country
frenchGuiana = Word16 -> Country
Country Word16
254

pattern FrenchGuiana :: Country
pattern $mFrenchGuiana :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bFrenchGuiana :: Country
FrenchGuiana = Country 254

-- | French Polynesia
frenchPolynesia :: Country
frenchPolynesia :: Country
frenchPolynesia = Word16 -> Country
Country Word16
258

pattern FrenchPolynesia :: Country
pattern $mFrenchPolynesia :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bFrenchPolynesia :: Country
FrenchPolynesia = Country 258

-- | French Southern Territories
frenchSouthernTerritories :: Country
frenchSouthernTerritories :: Country
frenchSouthernTerritories = Word16 -> Country
Country Word16
260

pattern FrenchSouthernTerritories :: Country
pattern $mFrenchSouthernTerritories :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bFrenchSouthernTerritories :: Country
FrenchSouthernTerritories = Country 260

-- | Gabon
gabon :: Country
gabon :: Country
gabon = Word16 -> Country
Country Word16
266

pattern Gabon :: Country
pattern $mGabon :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bGabon :: Country
Gabon = Country 266

-- | Gambia
gambia :: Country
gambia :: Country
gambia = Word16 -> Country
Country Word16
270

pattern Gambia :: Country
pattern $mGambia :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bGambia :: Country
Gambia = Country 270

-- | Georgia
georgia :: Country
georgia :: Country
georgia = Word16 -> Country
Country Word16
268

pattern Georgia :: Country
pattern $mGeorgia :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bGeorgia :: Country
Georgia = Country 268

-- | BRD; Bundesrepublik Deutschland; Deutschland; FRG; Federal Republic of Germany; Germany
germany :: Country
germany :: Country
germany = Word16 -> Country
Country Word16
276

pattern Germany :: Country
pattern $mGermany :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bGermany :: Country
Germany = Country 276

-- | Ghana
ghana :: Country
ghana :: Country
ghana = Word16 -> Country
Country Word16
288

pattern Ghana :: Country
pattern $mGhana :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bGhana :: Country
Ghana = Country 288

-- | Gibraltar
gibraltar :: Country
gibraltar :: Country
gibraltar = Word16 -> Country
Country Word16
292

pattern Gibraltar :: Country
pattern $mGibraltar :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bGibraltar :: Country
Gibraltar = Country 292

-- | Greece
greece :: Country
greece :: Country
greece = Word16 -> Country
Country Word16
300

pattern Greece :: Country
pattern $mGreece :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bGreece :: Country
Greece = Country 300

-- | Greenland
greenland :: Country
greenland :: Country
greenland = Word16 -> Country
Country Word16
304

pattern Greenland :: Country
pattern $mGreenland :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bGreenland :: Country
Greenland = Country 304

-- | Grenada
grenada :: Country
grenada :: Country
grenada = Word16 -> Country
Country Word16
308

pattern Grenada :: Country
pattern $mGrenada :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bGrenada :: Country
Grenada = Country 308

-- | Guadeloupe
guadeloupe :: Country
guadeloupe :: Country
guadeloupe = Word16 -> Country
Country Word16
312

pattern Guadeloupe :: Country
pattern $mGuadeloupe :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bGuadeloupe :: Country
Guadeloupe = Country 312

-- | Guam
guam :: Country
guam :: Country
guam = Word16 -> Country
Country Word16
316

pattern Guam :: Country
pattern $mGuam :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bGuam :: Country
Guam = Country 316

-- | Guatemala
guatemala :: Country
guatemala :: Country
guatemala = Word16 -> Country
Country Word16
320

pattern Guatemala :: Country
pattern $mGuatemala :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bGuatemala :: Country
Guatemala = Country 320

-- | Guernsey
guernsey :: Country
guernsey :: Country
guernsey = Word16 -> Country
Country Word16
831

pattern Guernsey :: Country
pattern $mGuernsey :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bGuernsey :: Country
Guernsey = Country 831

-- | Guinea
guinea :: Country
guinea :: Country
guinea = Word16 -> Country
Country Word16
324

pattern Guinea :: Country
pattern $mGuinea :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bGuinea :: Country
Guinea = Country 324

-- | Guinea-Bissau
guineabissau :: Country
guineabissau :: Country
guineabissau = Word16 -> Country
Country Word16
624

pattern Guineabissau :: Country
pattern $mGuineabissau :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bGuineabissau :: Country
Guineabissau = Country 624

-- | Guyana
guyana :: Country
guyana :: Country
guyana = Word16 -> Country
Country Word16
328

pattern Guyana :: Country
pattern $mGuyana :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bGuyana :: Country
Guyana = Country 328

-- | Haiti
haiti :: Country
haiti :: Country
haiti = Word16 -> Country
Country Word16
332

pattern Haiti :: Country
pattern $mHaiti :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bHaiti :: Country
Haiti = Country 332

-- | Heard Island and McDonald Islands; Heard and McDonald Islands
heardIslandAndMcdonaldIslands :: Country
heardIslandAndMcdonaldIslands :: Country
heardIslandAndMcdonaldIslands = Word16 -> Country
Country Word16
334

pattern HeardIslandAndMcdonaldIslands :: Country
pattern $mHeardIslandAndMcdonaldIslands :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bHeardIslandAndMcdonaldIslands :: Country
HeardIslandAndMcdonaldIslands = Country 334

-- | Holy See; Vatican; Vatican City
holySee :: Country
holySee :: Country
holySee = Word16 -> Country
Country Word16
336

pattern HolySee :: Country
pattern $mHolySee :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bHolySee :: Country
HolySee = Country 336

-- | Honduras
honduras :: Country
honduras :: Country
honduras = Word16 -> Country
Country Word16
340

pattern Honduras :: Country
pattern $mHonduras :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bHonduras :: Country
Honduras = Country 340

-- | Hong Kong
hongKong :: Country
hongKong :: Country
hongKong = Word16 -> Country
Country Word16
344

pattern HongKong :: Country
pattern $mHongKong :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bHongKong :: Country
HongKong = Country 344

-- | Hungary
hungary :: Country
hungary :: Country
hungary = Word16 -> Country
Country Word16
348

pattern Hungary :: Country
pattern $mHungary :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bHungary :: Country
Hungary = Country 348

-- | Iceland; Lýðveldið Ísland; Republic of Iceland; Ísafold; Ísland
iceland :: Country
iceland :: Country
iceland = Word16 -> Country
Country Word16
352

pattern Iceland :: Country
pattern $mIceland :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bIceland :: Country
Iceland = Country 352

-- | Al-Hind; Aryavarta; Bharatham; Bhārat; Bhārat Gaṇarājya; Bhārat Prajatantra; Bhāratadēśaṁ; Bhāratavarṣa; Hind; Hindustan; India; Republic of India; Union of India; ഇന്ത്യ
india :: Country
india :: Country
india = Word16 -> Country
Country Word16
356

pattern India :: Country
pattern $mIndia :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bIndia :: Country
India = Country 356

-- | Indonesia
indonesia :: Country
indonesia :: Country
indonesia = Word16 -> Country
Country Word16
360

pattern Indonesia :: Country
pattern $mIndonesia :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bIndonesia :: Country
Indonesia = Country 360

-- | Faris; Iran; Iran (Islamic Republic of); Islamic Republic of Iran; Persia; The Islamic Republic of Iran
iranIslamicRepublicOf :: Country
iranIslamicRepublicOf :: Country
iranIslamicRepublicOf = Word16 -> Country
Country Word16
364

pattern IranIslamicRepublicOf :: Country
pattern $mIranIslamicRepublicOf :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bIranIslamicRepublicOf :: Country
IranIslamicRepublicOf = Country 364

-- | Assyria; Babylon; Iraq; Mesopotamia
iraq :: Country
iraq :: Country
iraq = Word16 -> Country
Country Word16
368

pattern Iraq :: Country
pattern $mIraq :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bIraq :: Country
Iraq = Country 368

-- | Ireland; Irish Free State; Republic of Ireland; Saorstát Éireann; Éire
ireland :: Country
ireland :: Country
ireland = Word16 -> Country
Country Word16
372

pattern Ireland :: Country
pattern $mIreland :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bIreland :: Country
Ireland = Country 372

-- | Isle of Man
isleOfMan :: Country
isleOfMan :: Country
isleOfMan = Word16 -> Country
Country Word16
833

pattern IsleOfMan :: Country
pattern $mIsleOfMan :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bIsleOfMan :: Country
IsleOfMan = Country 833

-- | Dawlat Isra'il; Hebrew State; Israel; Jewish State; Medinat Yisra'el; State of Israel; The Hebrew State; The Jewish State; מדינת ישראל; دَوْلَة إِسْرَائِيل
israel :: Country
israel :: Country
israel = Word16 -> Country
Country Word16
376

pattern Israel :: Country
pattern $mIsrael :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bIsrael :: Country
Israel = Country 376

-- | Italy; Repubblica Italiana
italy :: Country
italy :: Country
italy = Word16 -> Country
Country Word16
380

pattern Italy :: Country
pattern $mItaly :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bItaly :: Country
Italy = Country 380

-- | Jamaica; Xamayca
jamaica :: Country
jamaica :: Country
jamaica = Word16 -> Country
Country Word16
388

pattern Jamaica :: Country
pattern $mJamaica :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bJamaica :: Country
Jamaica = Country 388

-- | Japan
japan :: Country
japan :: Country
japan = Word16 -> Country
Country Word16
392

pattern Japan :: Country
pattern $mJapan :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bJapan :: Country
Japan = Country 392

-- | Jersey
jersey :: Country
jersey :: Country
jersey = Word16 -> Country
Country Word16
832

pattern Jersey :: Country
pattern $mJersey :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bJersey :: Country
Jersey = Country 832

-- | Hashemite Kingdom of Jordan; Jordan
jordan :: Country
jordan :: Country
jordan = Word16 -> Country
Country Word16
400

pattern Jordan :: Country
pattern $mJordan :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bJordan :: Country
Jordan = Country 400

-- | Kazakh Soviet Socialist Republic; Kazakhstan; Qazaq Keñestik Socïalïstik Respwblïkası; Qazaqstan; Republic of Kazakhstan; Қазақ Кеңестік Социалистік Республикасы; Қазақстан; Қазақстан Республикасы
kazakhstan :: Country
kazakhstan :: Country
kazakhstan = Word16 -> Country
Country Word16
398

pattern Kazakhstan :: Country
pattern $mKazakhstan :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bKazakhstan :: Country
Kazakhstan = Country 398

-- | Jamhuri ya Kenya; Kenya; Republic of Kenya
kenya :: Country
kenya :: Country
kenya = Word16 -> Country
Country Word16
404

pattern Kenya :: Country
pattern $mKenya :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bKenya :: Country
Kenya = Country 404

-- | Kiribati
kiribati :: Country
kiribati :: Country
kiribati = Word16 -> Country
Country Word16
296

pattern Kiribati :: Country
pattern $mKiribati :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bKiribati :: Country
Kiribati = Country 296

-- | Choson Minjujuui Inmin Konghwaguk; D.P.R.K.; DPRK; Democratic People's Republic of Korea; Korea (Democratic People's Republic of); North Korea; 조선민주주의인민공화국
koreaDemocraticPeoplesRepublicOf :: Country
koreaDemocraticPeoplesRepublicOf :: Country
koreaDemocraticPeoplesRepublicOf = Word16 -> Country
Country Word16
408

pattern KoreaDemocraticPeoplesRepublicOf :: Country
pattern $mKoreaDemocraticPeoplesRepublicOf :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bKoreaDemocraticPeoplesRepublicOf :: Country
KoreaDemocraticPeoplesRepublicOf = Country 408

-- | Korea (Republic of); Republic of Korea; South Korea
koreaRepublicOf :: Country
koreaRepublicOf :: Country
koreaRepublicOf = Word16 -> Country
Country Word16
410

pattern KoreaRepublicOf :: Country
pattern $mKoreaRepublicOf :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bKoreaRepublicOf :: Country
KoreaRepublicOf = Country 410

-- | Kuwait
kuwait :: Country
kuwait :: Country
kuwait = Word16 -> Country
Country Word16
414

pattern Kuwait :: Country
pattern $mKuwait :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bKuwait :: Country
Kuwait = Country 414

-- | Kyrgyzstan
kyrgyzstan :: Country
kyrgyzstan :: Country
kyrgyzstan = Word16 -> Country
Country Word16
417

pattern Kyrgyzstan :: Country
pattern $mKyrgyzstan :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bKyrgyzstan :: Country
Kyrgyzstan = Country 417

-- | Lao People's Democratic Republic; Laos
laoPeoplesDemocraticRepublic :: Country
laoPeoplesDemocraticRepublic :: Country
laoPeoplesDemocraticRepublic = Word16 -> Country
Country Word16
418

pattern LaoPeoplesDemocraticRepublic :: Country
pattern $mLaoPeoplesDemocraticRepublic :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bLaoPeoplesDemocraticRepublic :: Country
LaoPeoplesDemocraticRepublic = Country 418

-- | Latvia; Latvija; Letland; Letonija; Letonnie; Lettland
latvia :: Country
latvia :: Country
latvia = Word16 -> Country
Country Word16
428

pattern Latvia :: Country
pattern $mLatvia :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bLatvia :: Country
Latvia = Country 428

-- | Lebanon
lebanon :: Country
lebanon :: Country
lebanon = Word16 -> Country
Country Word16
422

pattern Lebanon :: Country
pattern $mLebanon :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bLebanon :: Country
Lebanon = Country 422

-- | Basutoland; Kingdom of Lesotho; Lesotho
lesotho :: Country
lesotho :: Country
lesotho = Word16 -> Country
Country Word16
426

pattern Lesotho :: Country
pattern $mLesotho :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bLesotho :: Country
Lesotho = Country 426

-- | Liberia
liberia :: Country
liberia :: Country
liberia = Word16 -> Country
Country Word16
430

pattern Liberia :: Country
pattern $mLiberia :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bLiberia :: Country
Liberia = Country 430

-- | Libya
libya :: Country
libya :: Country
libya = Word16 -> Country
Country Word16
434

pattern Libya :: Country
pattern $mLibya :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bLibya :: Country
Libya = Country 434

-- | Liechtenstein
liechtenstein :: Country
liechtenstein :: Country
liechtenstein = Word16 -> Country
Country Word16
438

pattern Liechtenstein :: Country
pattern $mLiechtenstein :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bLiechtenstein :: Country
Liechtenstein = Country 438

-- | Lietuva; Lithuania; Lithuania, Republic of; Republic of Lithuania; Литва
lithuania :: Country
lithuania :: Country
lithuania = Word16 -> Country
Country Word16
440

pattern Lithuania :: Country
pattern $mLithuania :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bLithuania :: Country
Lithuania = Country 440

-- | Grand Duchy of Luxembourg; Grand-Duché de Luxembourg; Groussherzogdem Lëtzebuerg; Großherzogtum Luxemburg; Lussemburgo; Luxembourg; Luxemburg; Luxemburgo
luxembourg :: Country
luxembourg :: Country
luxembourg = Word16 -> Country
Country Word16
442

pattern Luxembourg :: Country
pattern $mLuxembourg :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bLuxembourg :: Country
Luxembourg = Country 442

-- | Macao
macao :: Country
macao :: Country
macao = Word16 -> Country
Country Word16
446

pattern Macao :: Country
pattern $mMacao :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bMacao :: Country
Macao = Country 446

-- | Macedonia; Macedonia (the former Yugoslav Republic of)
macedoniaTheFormerYugoslavRepublicOf :: Country
macedoniaTheFormerYugoslavRepublicOf :: Country
macedoniaTheFormerYugoslavRepublicOf = Word16 -> Country
Country Word16
807

pattern MacedoniaTheFormerYugoslavRepublicOf :: Country
pattern $mMacedoniaTheFormerYugoslavRepublicOf :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bMacedoniaTheFormerYugoslavRepublicOf :: Country
MacedoniaTheFormerYugoslavRepublicOf = Country 807

-- | Madagascar
madagascar :: Country
madagascar :: Country
madagascar = Word16 -> Country
Country Word16
450

pattern Madagascar :: Country
pattern $mMadagascar :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bMadagascar :: Country
Madagascar = Country 450

-- | Malawi; Nyasaland; Republic of Malawi
malawi :: Country
malawi :: Country
malawi = Word16 -> Country
Country Word16
454

pattern Malawi :: Country
pattern $mMalawi :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bMalawi :: Country
Malawi = Country 454

-- | Federation of Malaysia; Malaysia; Mǎláixīyà; Persekutuan Malaysia; 马来西亚
malaysia :: Country
malaysia :: Country
malaysia = Word16 -> Country
Country Word16
458

pattern Malaysia :: Country
pattern $mMalaysia :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bMalaysia :: Country
Malaysia = Country 458

-- | Dhibat-al-Mahal; Dhivehi Raajje; Mahal Dvipa; Maldives; Maléldvipa; Republic of the Maldives; The Maldive Islands; ދިވެހިރާއްޖެ
maldives :: Country
maldives :: Country
maldives = Word16 -> Country
Country Word16
462

pattern Maldives :: Country
pattern $mMaldives :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bMaldives :: Country
Maldives = Country 462

-- | Mali
mali :: Country
mali :: Country
mali = Word16 -> Country
Country Word16
466

pattern Mali :: Country
pattern $mMali :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bMali :: Country
Mali = Country 466

-- | Malta
malta :: Country
malta :: Country
malta = Word16 -> Country
Country Word16
470

pattern Malta :: Country
pattern $mMalta :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bMalta :: Country
Malta = Country 470

-- | Marshall Islands
marshallIslands :: Country
marshallIslands :: Country
marshallIslands = Word16 -> Country
Country Word16
584

pattern MarshallIslands :: Country
pattern $mMarshallIslands :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bMarshallIslands :: Country
MarshallIslands = Country 584

-- | Martinique
martinique :: Country
martinique :: Country
martinique = Word16 -> Country
Country Word16
474

pattern Martinique :: Country
pattern $mMartinique :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bMartinique :: Country
Martinique = Country 474

-- | Islamic Republic of Mauritania; Mauritania; République Islamique de Mauritanie
mauritania :: Country
mauritania :: Country
mauritania = Word16 -> Country
Country Word16
478

pattern Mauritania :: Country
pattern $mMauritania :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bMauritania :: Country
Mauritania = Country 478

-- | Mauritius
mauritius :: Country
mauritius :: Country
mauritius = Word16 -> Country
Country Word16
480

pattern Mauritius :: Country
pattern $mMauritius :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bMauritius :: Country
Mauritius = Country 480

-- | Mayotte
mayotte :: Country
mayotte :: Country
mayotte = Word16 -> Country
Country Word16
175

pattern Mayotte :: Country
pattern $mMayotte :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bMayotte :: Country
Mayotte = Country 175

-- | Aztlán; Aztlān; Estados Unidos Mexicanos; MX; Mejico; Mexico; Méjico; México; República Mexicana; United Mexican States
mexico :: Country
mexico :: Country
mexico = Word16 -> Country
Country Word16
484

pattern Mexico :: Country
pattern $mMexico :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bMexico :: Country
Mexico = Country 484

-- | Federated States of Micronesia; Micronesia; Micronesia (Federated States of)
micronesiaFederatedStatesOf :: Country
micronesiaFederatedStatesOf :: Country
micronesiaFederatedStatesOf = Word16 -> Country
Country Word16
583

pattern MicronesiaFederatedStatesOf :: Country
pattern $mMicronesiaFederatedStatesOf :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bMicronesiaFederatedStatesOf :: Country
MicronesiaFederatedStatesOf = Country 583

-- | Moldova; Moldova (Republic of); Republic of Moldova
moldovaRepublicOf :: Country
moldovaRepublicOf :: Country
moldovaRepublicOf = Word16 -> Country
Country Word16
498

pattern MoldovaRepublicOf :: Country
pattern $mMoldovaRepublicOf :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bMoldovaRepublicOf :: Country
MoldovaRepublicOf = Country 498

-- | Monaco; Principality of Monaco; Principauté de Monaco
monaco :: Country
monaco :: Country
monaco = Word16 -> Country
Country Word16
492

pattern Monaco :: Country
pattern $mMonaco :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bMonaco :: Country
Monaco = Country 492

-- | Mongolia
mongolia :: Country
mongolia :: Country
mongolia = Word16 -> Country
Country Word16
496

pattern Mongolia :: Country
pattern $mMongolia :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bMongolia :: Country
Mongolia = Country 496

-- | Montenegro; Yugoslavia
montenegro :: Country
montenegro :: Country
montenegro = Word16 -> Country
Country Word16
499

pattern Montenegro :: Country
pattern $mMontenegro :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bMontenegro :: Country
Montenegro = Country 499

-- | Montserrat
montserrat :: Country
montserrat :: Country
montserrat = Word16 -> Country
Country Word16
500

pattern Montserrat :: Country
pattern $mMontserrat :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bMontserrat :: Country
Montserrat = Country 500

-- | Morocco
morocco :: Country
morocco :: Country
morocco = Word16 -> Country
Country Word16
504

pattern Morocco :: Country
pattern $mMorocco :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bMorocco :: Country
Morocco = Country 504

-- | Mozambique
mozambique :: Country
mozambique :: Country
mozambique = Word16 -> Country
Country Word16
508

pattern Mozambique :: Country
pattern $mMozambique :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bMozambique :: Country
Mozambique = Country 508

-- | Burma; Myanmar; Myanmar (Burma); Myanmar [Burma]
myanmar :: Country
myanmar :: Country
myanmar = Word16 -> Country
Country Word16
104

pattern Myanmar :: Country
pattern $mMyanmar :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bMyanmar :: Country
Myanmar = Country 104

-- | Namibia
namibia :: Country
namibia :: Country
namibia = Word16 -> Country
Country Word16
516

pattern Namibia :: Country
pattern $mNamibia :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bNamibia :: Country
Namibia = Country 516

-- | Nauru
nauru :: Country
nauru :: Country
nauru = Word16 -> Country
Country Word16
520

pattern Nauru :: Country
pattern $mNauru :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bNauru :: Country
Nauru = Country 520

-- | Nepal
nepal :: Country
nepal :: Country
nepal = Word16 -> Country
Country Word16
524

pattern Nepal :: Country
pattern $mNepal :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bNepal :: Country
Nepal = Country 524

-- | Netherlands
netherlands :: Country
netherlands :: Country
netherlands = Word16 -> Country
Country Word16
528

pattern Netherlands :: Country
pattern $mNetherlands :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bNetherlands :: Country
Netherlands = Country 528

-- | New Caledonia
newCaledonia :: Country
newCaledonia :: Country
newCaledonia = Word16 -> Country
Country Word16
540

pattern NewCaledonia :: Country
pattern $mNewCaledonia :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bNewCaledonia :: Country
NewCaledonia = Country 540

-- | New Zealand
newZealand :: Country
newZealand :: Country
newZealand = Word16 -> Country
Country Word16
554

pattern NewZealand :: Country
pattern $mNewZealand :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bNewZealand :: Country
NewZealand = Country 554

-- | Nicaragua
nicaragua :: Country
nicaragua :: Country
nicaragua = Word16 -> Country
Country Word16
558

pattern Nicaragua :: Country
pattern $mNicaragua :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bNicaragua :: Country
Nicaragua = Country 558

-- | Niger
niger :: Country
niger :: Country
niger = Word16 -> Country
Country Word16
562

pattern Niger :: Country
pattern $mNiger :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bNiger :: Country
Niger = Country 562

-- | Nigeria
nigeria :: Country
nigeria :: Country
nigeria = Word16 -> Country
Country Word16
566

pattern Nigeria :: Country
pattern $mNigeria :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bNigeria :: Country
Nigeria = Country 566

-- | Niue
niue :: Country
niue :: Country
niue = Word16 -> Country
Country Word16
570

pattern Niue :: Country
pattern $mNiue :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bNiue :: Country
Niue = Country 570

-- | Norfolk Island
norfolkIsland :: Country
norfolkIsland :: Country
norfolkIsland = Word16 -> Country
Country Word16
574

pattern NorfolkIsland :: Country
pattern $mNorfolkIsland :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bNorfolkIsland :: Country
NorfolkIsland = Country 574

-- | Northern Mariana Islands
northernMarianaIslands :: Country
northernMarianaIslands :: Country
northernMarianaIslands = Word16 -> Country
Country Word16
580

pattern NorthernMarianaIslands :: Country
pattern $mNorthernMarianaIslands :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bNorthernMarianaIslands :: Country
NorthernMarianaIslands = Country 580

-- | Norway
norway :: Country
norway :: Country
norway = Word16 -> Country
Country Word16
578

pattern Norway :: Country
pattern $mNorway :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bNorway :: Country
Norway = Country 578

-- | Oman
oman :: Country
oman :: Country
oman = Word16 -> Country
Country Word16
512

pattern Oman :: Country
pattern $mOman :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bOman :: Country
Oman = Country 512

-- | Pakistan
pakistan :: Country
pakistan :: Country
pakistan = Word16 -> Country
Country Word16
586

pattern Pakistan :: Country
pattern $mPakistan :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bPakistan :: Country
Pakistan = Country 586

-- | Palau
palau :: Country
palau :: Country
palau = Word16 -> Country
Country Word16
585

pattern Palau :: Country
pattern $mPalau :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bPalau :: Country
Palau = Country 585

-- | Palestine; Palestine, State of
palestineStateOf :: Country
palestineStateOf :: Country
palestineStateOf = Word16 -> Country
Country Word16
275

pattern PalestineStateOf :: Country
pattern $mPalestineStateOf :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bPalestineStateOf :: Country
PalestineStateOf = Country 275

-- | Panama
panama :: Country
panama :: Country
panama = Word16 -> Country
Country Word16
591

pattern Panama :: Country
pattern $mPanama :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bPanama :: Country
Panama = Country 591

-- | Papua New Guinea
papuaNewGuinea :: Country
papuaNewGuinea :: Country
papuaNewGuinea = Word16 -> Country
Country Word16
598

pattern PapuaNewGuinea :: Country
pattern $mPapuaNewGuinea :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bPapuaNewGuinea :: Country
PapuaNewGuinea = Country 598

-- | Paraguay
paraguay :: Country
paraguay :: Country
paraguay = Word16 -> Country
Country Word16
600

pattern Paraguay :: Country
pattern $mParaguay :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bParaguay :: Country
Paraguay = Country 600

-- | Peru
peru :: Country
peru :: Country
peru = Word16 -> Country
Country Word16
604

pattern Peru :: Country
pattern $mPeru :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bPeru :: Country
Peru = Country 604

-- | Philippines
philippines :: Country
philippines :: Country
philippines = Word16 -> Country
Country Word16
608

pattern Philippines :: Country
pattern $mPhilippines :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bPhilippines :: Country
Philippines = Country 608

-- | Pitcairn; Pitcairn Islands
pitcairn :: Country
pitcairn :: Country
pitcairn = Word16 -> Country
Country Word16
612

pattern Pitcairn :: Country
pattern $mPitcairn :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bPitcairn :: Country
Pitcairn = Country 612

-- | Poland
poland :: Country
poland :: Country
poland = Word16 -> Country
Country Word16
616

pattern Poland :: Country
pattern $mPoland :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bPoland :: Country
Poland = Country 616

-- | Portugal
portugal :: Country
portugal :: Country
portugal = Word16 -> Country
Country Word16
620

pattern Portugal :: Country
pattern $mPortugal :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bPortugal :: Country
Portugal = Country 620

-- | Puerto Rico
puertoRico :: Country
puertoRico :: Country
puertoRico = Word16 -> Country
Country Word16
630

pattern PuertoRico :: Country
pattern $mPuertoRico :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bPuertoRico :: Country
PuertoRico = Country 630

-- | Qatar
qatar :: Country
qatar :: Country
qatar = Word16 -> Country
Country Word16
634

pattern Qatar :: Country
pattern $mQatar :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bQatar :: Country
Qatar = Country 634

-- | Réunion
réunion :: Country
réunion :: Country
réunion = Word16 -> Country
Country Word16
638

pattern Réunion :: Country
pattern $mRéunion :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bRéunion :: Country
Réunion = Country 638

-- | Kingdom of Romania; Regatul României; Republica Populară Romînă; Republica Socialistă România; Romania; Romanian People's Republic; România; Roumania; Rumania; Socialist Republic of Romania
romania :: Country
romania :: Country
romania = Word16 -> Country
Country Word16
642

pattern Romania :: Country
pattern $mRomania :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bRomania :: Country
Romania = Country 642

-- | Great Russia; R.F.; RF; RSFSR; Rossiya; Rus; Russia; Russian Federation; Russian Socialist Federative Soviet Republic; Russian Soviet Federative Socialist Republic; Russland; SSSR; SU; Sovetskiy Soyuz; Soviet Union; Soyuz Sovetskikh Sotsialisticheskikh Respublik; USSR; Union of Soviet Socialist Republics; Российская Федерация; Россия; СССР; Сове́тский Сою́з; Союз Советских Социалистических Республик
russianFederation :: Country
russianFederation :: Country
russianFederation = Word16 -> Country
Country Word16
643

pattern RussianFederation :: Country
pattern $mRussianFederation :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bRussianFederation :: Country
RussianFederation = Country 643

-- | Republic of Rwanda; Repubulika y'u Rwanda; Ruanda; Rwanda; Rwandese Republic; République du Rwanda
rwanda :: Country
rwanda :: Country
rwanda = Word16 -> Country
Country Word16
646

pattern Rwanda :: Country
pattern $mRwanda :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bRwanda :: Country
Rwanda = Country 646

-- | Saint Barthélemy; Saint-Barthélemy
saintBarthélemy :: Country
saintBarthélemy :: Country
saintBarthélemy = Word16 -> Country
Country Word16
652

pattern SaintBarthélemy :: Country
pattern $mSaintBarthélemy :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSaintBarthélemy :: Country
SaintBarthélemy = Country 652

-- | Saint Helena; Saint Helena, Ascension and Tristan da Cunha
saintHelenaAscensionAndTristanDaCunha :: Country
saintHelenaAscensionAndTristanDaCunha :: Country
saintHelenaAscensionAndTristanDaCunha = Word16 -> Country
Country Word16
654

pattern SaintHelenaAscensionAndTristanDaCunha :: Country
pattern $mSaintHelenaAscensionAndTristanDaCunha :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSaintHelenaAscensionAndTristanDaCunha :: Country
SaintHelenaAscensionAndTristanDaCunha = Country 654

-- | Federation of Saint Kitts and Nevis; Saint Kitts and Nevis; Saint Kitts-Nevis-Anguilla; St Kitts and Nevis; St. Kitts and Nevis
saintKittsAndNevis :: Country
saintKittsAndNevis :: Country
saintKittsAndNevis = Word16 -> Country
Country Word16
659

pattern SaintKittsAndNevis :: Country
pattern $mSaintKittsAndNevis :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSaintKittsAndNevis :: Country
SaintKittsAndNevis = Country 659

-- | Saint Lucia
saintLucia :: Country
saintLucia :: Country
saintLucia = Word16 -> Country
Country Word16
662

pattern SaintLucia :: Country
pattern $mSaintLucia :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSaintLucia :: Country
SaintLucia = Country 662

-- | Saint Martin; Saint Martin (French part); St Martin; St. Martin
saintMartinFrenchPart :: Country
saintMartinFrenchPart :: Country
saintMartinFrenchPart = Word16 -> Country
Country Word16
663

pattern SaintMartinFrenchPart :: Country
pattern $mSaintMartinFrenchPart :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSaintMartinFrenchPart :: Country
SaintMartinFrenchPart = Country 663

-- | Saint Pierre and Miquelon
saintPierreAndMiquelon :: Country
saintPierreAndMiquelon :: Country
saintPierreAndMiquelon = Word16 -> Country
Country Word16
666

pattern SaintPierreAndMiquelon :: Country
pattern $mSaintPierreAndMiquelon :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSaintPierreAndMiquelon :: Country
SaintPierreAndMiquelon = Country 666

-- | Saint Vincent and the Grenadines; St Vincent and Grenadines
saintVincentAndTheGrenadines :: Country
saintVincentAndTheGrenadines :: Country
saintVincentAndTheGrenadines = Word16 -> Country
Country Word16
670

pattern SaintVincentAndTheGrenadines :: Country
pattern $mSaintVincentAndTheGrenadines :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSaintVincentAndTheGrenadines :: Country
SaintVincentAndTheGrenadines = Country 670

-- | Samoa
samoa :: Country
samoa :: Country
samoa = Word16 -> Country
Country Word16
882

pattern Samoa :: Country
pattern $mSamoa :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSamoa :: Country
Samoa = Country 882

-- | San Marino
sanMarino :: Country
sanMarino :: Country
sanMarino = Word16 -> Country
Country Word16
674

pattern SanMarino :: Country
pattern $mSanMarino :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSanMarino :: Country
SanMarino = Country 674

-- | Sao Tome and Principe; São Tomé and Príncipe
saoTomeAndPrincipe :: Country
saoTomeAndPrincipe :: Country
saoTomeAndPrincipe = Word16 -> Country
Country Word16
678

pattern SaoTomeAndPrincipe :: Country
pattern $mSaoTomeAndPrincipe :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSaoTomeAndPrincipe :: Country
SaoTomeAndPrincipe = Country 678

-- | Saudi Arabia
saudiArabia :: Country
saudiArabia :: Country
saudiArabia = Word16 -> Country
Country Word16
682

pattern SaudiArabia :: Country
pattern $mSaudiArabia :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSaudiArabia :: Country
SaudiArabia = Country 682

-- | Senegal
senegal :: Country
senegal :: Country
senegal = Word16 -> Country
Country Word16
686

pattern Senegal :: Country
pattern $mSenegal :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSenegal :: Country
Senegal = Country 686

-- | Serbia
serbia :: Country
serbia :: Country
serbia = Word16 -> Country
Country Word16
688

pattern Serbia :: Country
pattern $mSerbia :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSerbia :: Country
Serbia = Country 688

-- | Seychelles
seychelles :: Country
seychelles :: Country
seychelles = Word16 -> Country
Country Word16
690

pattern Seychelles :: Country
pattern $mSeychelles :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSeychelles :: Country
Seychelles = Country 690

-- | Sierra Leone
sierraLeone :: Country
sierraLeone :: Country
sierraLeone = Word16 -> Country
Country Word16
694

pattern SierraLeone :: Country
pattern $mSierraLeone :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSierraLeone :: Country
SierraLeone = Country 694

-- | Republic of Singapore; Singapore; Singapura
singapore :: Country
singapore :: Country
singapore = Word16 -> Country
Country Word16
702

pattern Singapore :: Country
pattern $mSingapore :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSingapore :: Country
Singapore = Country 702

-- | Sint Maarten; Sint Maarten (Dutch part)
sintMaartenDutchPart :: Country
sintMaartenDutchPart :: Country
sintMaartenDutchPart = Word16 -> Country
Country Word16
534

pattern SintMaartenDutchPart :: Country
pattern $mSintMaartenDutchPart :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSintMaartenDutchPart :: Country
SintMaartenDutchPart = Country 534

-- | Slovakia
slovakia :: Country
slovakia :: Country
slovakia = Word16 -> Country
Country Word16
703

pattern Slovakia :: Country
pattern $mSlovakia :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSlovakia :: Country
Slovakia = Country 703

-- | Slovenia
slovenia :: Country
slovenia :: Country
slovenia = Word16 -> Country
Country Word16
705

pattern Slovenia :: Country
pattern $mSlovenia :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSlovenia :: Country
Slovenia = Country 705

-- | Solomon Islands
solomonIslands :: Country
solomonIslands :: Country
solomonIslands = Word16 -> Country
Country Word16
90

pattern SolomonIslands :: Country
pattern $mSolomonIslands :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSolomonIslands :: Country
SolomonIslands = Country 90

-- | Somalia
somalia :: Country
somalia :: Country
somalia = Word16 -> Country
Country Word16
706

pattern Somalia :: Country
pattern $mSomalia :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSomalia :: Country
Somalia = Country 706

-- | South Africa
southAfrica :: Country
southAfrica :: Country
southAfrica = Word16 -> Country
Country Word16
710

pattern SouthAfrica :: Country
pattern $mSouthAfrica :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSouthAfrica :: Country
SouthAfrica = Country 710

-- | South Georgia and the South Sandwich Islands
southGeorgiaAndTheSouthSandwichIslands :: Country
southGeorgiaAndTheSouthSandwichIslands :: Country
southGeorgiaAndTheSouthSandwichIslands = Word16 -> Country
Country Word16
239

pattern SouthGeorgiaAndTheSouthSandwichIslands :: Country
pattern $mSouthGeorgiaAndTheSouthSandwichIslands :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSouthGeorgiaAndTheSouthSandwichIslands :: Country
SouthGeorgiaAndTheSouthSandwichIslands = Country 239

-- | Republic of South Sudan; South Sudan
southSudan :: Country
southSudan :: Country
southSudan = Word16 -> Country
Country Word16
728

pattern SouthSudan :: Country
pattern $mSouthSudan :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSouthSudan :: Country
SouthSudan = Country 728

-- | Espainia; Espanya; España; Hispania; Iberia; Reino de España; Spain; Spanish State
spain :: Country
spain :: Country
spain = Word16 -> Country
Country Word16
724

pattern Spain :: Country
pattern $mSpain :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSpain :: Country
Spain = Country 724

-- | Sri Lanka
sriLanka :: Country
sriLanka :: Country
sriLanka = Word16 -> Country
Country Word16
144

pattern SriLanka :: Country
pattern $mSriLanka :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSriLanka :: Country
SriLanka = Country 144

-- | Nubia; Republic of the Sudan; Sudan; The Sudan
sudan :: Country
sudan :: Country
sudan = Word16 -> Country
Country Word16
729

pattern Sudan :: Country
pattern $mSudan :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSudan :: Country
Sudan = Country 729

-- | Dutch Guiana; Netherlands Guiana; Republic of Suriname; Republiek Suriname; Surinam; Suriname
suriname :: Country
suriname :: Country
suriname = Word16 -> Country
Country Word16
740

pattern Suriname :: Country
pattern $mSuriname :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSuriname :: Country
Suriname = Country 740

-- | Svalbard and Jan Mayen
svalbardAndJanMayen :: Country
svalbardAndJanMayen :: Country
svalbardAndJanMayen = Word16 -> Country
Country Word16
744

pattern SvalbardAndJanMayen :: Country
pattern $mSvalbardAndJanMayen :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSvalbardAndJanMayen :: Country
SvalbardAndJanMayen = Country 744

-- | Swaziland
swaziland :: Country
swaziland :: Country
swaziland = Word16 -> Country
Country Word16
748

pattern Swaziland :: Country
pattern $mSwaziland :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSwaziland :: Country
Swaziland = Country 748

-- | Kingdom of Sweden; Konungariket Sverige; Svea Rike; Sverige; Svitjod; Sweden
sweden :: Country
sweden :: Country
sweden = Word16 -> Country
Country Word16
752

pattern Sweden :: Country
pattern $mSweden :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSweden :: Country
Sweden = Country 752

-- | CH; Confederazione Svizzera; Confederaziun Svizra; Confoederatio Helvetica; Confédération suisse; Helvetia; Schweiz; Schweizerische Eidgenossenschaft; Suisse; Svizra; Svizzera; Swiss Confederation; Switzerland
switzerland :: Country
switzerland :: Country
switzerland = Word16 -> Country
Country Word16
756

pattern Switzerland :: Country
pattern $mSwitzerland :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSwitzerland :: Country
Switzerland = Country 756

-- | Syria; Syrian Arab Republic
syrianArabRepublic :: Country
syrianArabRepublic :: Country
syrianArabRepublic = Word16 -> Country
Country Word16
760

pattern SyrianArabRepublic :: Country
pattern $mSyrianArabRepublic :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bSyrianArabRepublic :: Country
SyrianArabRepublic = Country 760

-- | Chinese Taipei; People's Republic of China; Republic of China; Separate Customs Territory of Taiwan, Penghu, Kinmen and Matsu; Taiwan; Taiwan, Province of China; The People's Republic of China; Zhonggua Taipei; 中華台北
taiwanProvinceOfChina :: Country
taiwanProvinceOfChina :: Country
taiwanProvinceOfChina = Word16 -> Country
Country Word16
158

pattern TaiwanProvinceOfChina :: Country
pattern $mTaiwanProvinceOfChina :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bTaiwanProvinceOfChina :: Country
TaiwanProvinceOfChina = Country 158

-- | Tajikistan
tajikistan :: Country
tajikistan :: Country
tajikistan = Word16 -> Country
Country Word16
762

pattern Tajikistan :: Country
pattern $mTajikistan :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bTajikistan :: Country
Tajikistan = Country 762

-- | Tanzania; Tanzania, United Republic of; United Republic of Tanganyika and Zanzibar
tanzaniaUnitedRepublicOf :: Country
tanzaniaUnitedRepublicOf :: Country
tanzaniaUnitedRepublicOf = Word16 -> Country
Country Word16
834

pattern TanzaniaUnitedRepublicOf :: Country
pattern $mTanzaniaUnitedRepublicOf :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bTanzaniaUnitedRepublicOf :: Country
TanzaniaUnitedRepublicOf = Country 834

-- | Thailand
thailand :: Country
thailand :: Country
thailand = Word16 -> Country
Country Word16
764

pattern Thailand :: Country
pattern $mThailand :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bThailand :: Country
Thailand = Country 764

-- | Democratic Republic of Timor-Leste; Timor-Leste
timorleste :: Country
timorleste :: Country
timorleste = Word16 -> Country
Country Word16
626

pattern Timorleste :: Country
pattern $mTimorleste :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bTimorleste :: Country
Timorleste = Country 626

-- | Togo
togo :: Country
togo :: Country
togo = Word16 -> Country
Country Word16
768

pattern Togo :: Country
pattern $mTogo :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bTogo :: Country
Togo = Country 768

-- | Tokelau
tokelau :: Country
tokelau :: Country
tokelau = Word16 -> Country
Country Word16
772

pattern Tokelau :: Country
pattern $mTokelau :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bTokelau :: Country
Tokelau = Country 772

-- | Tonga
tonga :: Country
tonga :: Country
tonga = Word16 -> Country
Country Word16
776

pattern Tonga :: Country
pattern $mTonga :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bTonga :: Country
Tonga = Country 776

-- | Republic of Trinidad and Tobago; Trinbago; Trinidad and Tobago
trinidadAndTobago :: Country
trinidadAndTobago :: Country
trinidadAndTobago = Word16 -> Country
Country Word16
780

pattern TrinidadAndTobago :: Country
pattern $mTrinidadAndTobago :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bTrinidadAndTobago :: Country
TrinidadAndTobago = Country 780

-- | Tunisia
tunisia :: Country
tunisia :: Country
tunisia = Word16 -> Country
Country Word16
788

pattern Tunisia :: Country
pattern $mTunisia :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bTunisia :: Country
Tunisia = Country 788

-- | Ottoman Empire; Republic of Turkey; Turkey; Turkish Empire; Türkiye Cumhuriyeti
turkey :: Country
turkey :: Country
turkey = Word16 -> Country
Country Word16
792

pattern Turkey :: Country
pattern $mTurkey :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bTurkey :: Country
Turkey = Country 792

-- | Turkmenistan
turkmenistan :: Country
turkmenistan :: Country
turkmenistan = Word16 -> Country
Country Word16
795

pattern Turkmenistan :: Country
pattern $mTurkmenistan :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bTurkmenistan :: Country
Turkmenistan = Country 795

-- | Turks and Caicos Islands
turksAndCaicosIslands :: Country
turksAndCaicosIslands :: Country
turksAndCaicosIslands = Word16 -> Country
Country Word16
796

pattern TurksAndCaicosIslands :: Country
pattern $mTurksAndCaicosIslands :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bTurksAndCaicosIslands :: Country
TurksAndCaicosIslands = Country 796

-- | Tuvalu
tuvalu :: Country
tuvalu :: Country
tuvalu = Word16 -> Country
Country Word16
798

pattern Tuvalu :: Country
pattern $mTuvalu :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bTuvalu :: Country
Tuvalu = Country 798

-- | Uganda
uganda :: Country
uganda :: Country
uganda = Word16 -> Country
Country Word16
800

pattern Uganda :: Country
pattern $mUganda :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bUganda :: Country
Uganda = Country 800

-- | UA; UKR; Ukraine; Ukraїna
ukraine :: Country
ukraine :: Country
ukraine = Word16 -> Country
Country Word16
804

pattern Ukraine :: Country
pattern $mUkraine :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bUkraine :: Country
Ukraine = Country 804

-- | Al Emirat al Arabbiya al Muttahida; U.A.E.; UAE; United Arab Emirates
unitedArabEmirates :: Country
unitedArabEmirates :: Country
unitedArabEmirates = Word16 -> Country
Country Word16
784

pattern UnitedArabEmirates :: Country
pattern $mUnitedArabEmirates :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bUnitedArabEmirates :: Country
UnitedArabEmirates = Country 784

-- | United Kingdom; United Kingdom of Great Britain and Northern Ireland
unitedKingdomOfGreatBritainAndNorthernIreland :: Country
unitedKingdomOfGreatBritainAndNorthernIreland :: Country
unitedKingdomOfGreatBritainAndNorthernIreland = Word16 -> Country
Country Word16
826

pattern UnitedKingdomOfGreatBritainAndNorthernIreland :: Country
pattern $mUnitedKingdomOfGreatBritainAndNorthernIreland :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bUnitedKingdomOfGreatBritainAndNorthernIreland :: Country
UnitedKingdomOfGreatBritainAndNorthernIreland = Country 826

-- | Estados Unidos de América; The United States; U.S.; U.S.A.; USA; United States; United States of America; Usa; Usono
unitedStatesOfAmerica :: Country
unitedStatesOfAmerica :: Country
unitedStatesOfAmerica = Word16 -> Country
Country Word16
840

pattern UnitedStatesOfAmerica :: Country
pattern $mUnitedStatesOfAmerica :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bUnitedStatesOfAmerica :: Country
UnitedStatesOfAmerica = Country 840

-- | U.S. Minor Outlying Islands; U.S. Outlying Islands; United States Minor Outlying Islands
unitedStatesMinorOutlyingIslands :: Country
unitedStatesMinorOutlyingIslands :: Country
unitedStatesMinorOutlyingIslands = Word16 -> Country
Country Word16
581

pattern UnitedStatesMinorOutlyingIslands :: Country
pattern $mUnitedStatesMinorOutlyingIslands :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bUnitedStatesMinorOutlyingIslands :: Country
UnitedStatesMinorOutlyingIslands = Country 581

-- | Uruguay
uruguay :: Country
uruguay :: Country
uruguay = Word16 -> Country
Country Word16
858

pattern Uruguay :: Country
pattern $mUruguay :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bUruguay :: Country
Uruguay = Country 858

-- | Uzbekistan
uzbekistan :: Country
uzbekistan :: Country
uzbekistan = Word16 -> Country
Country Word16
860

pattern Uzbekistan :: Country
pattern $mUzbekistan :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bUzbekistan :: Country
Uzbekistan = Country 860

-- | Ripablik blong Vanuatu; République de Vanuatu; Vanuatu
vanuatu :: Country
vanuatu :: Country
vanuatu = Word16 -> Country
Country Word16
548

pattern Vanuatu :: Country
pattern $mVanuatu :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bVanuatu :: Country
Vanuatu = Country 548

-- | Bolivarian Republic of Venezuela; República Bolivariana de Venezuela; Venezuela; Venezuela (Bolivarian Republic of)
venezuelaBolivarianRepublicOf :: Country
venezuelaBolivarianRepublicOf :: Country
venezuelaBolivarianRepublicOf = Word16 -> Country
Country Word16
862

pattern VenezuelaBolivarianRepublicOf :: Country
pattern $mVenezuelaBolivarianRepublicOf :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bVenezuelaBolivarianRepublicOf :: Country
VenezuelaBolivarianRepublicOf = Country 862

-- | Cộng hòa Xã hội Chủ nghĩa Việt Nam; Viet Nam; Vietnam; Việt Nam
vietNam :: Country
vietNam :: Country
vietNam = Word16 -> Country
Country Word16
704

pattern VietNam :: Country
pattern $mVietNam :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bVietNam :: Country
VietNam = Country 704

-- | British Virgin Islands; Virgin Islands (British)
virginIslandsBritish :: Country
virginIslandsBritish :: Country
virginIslandsBritish = Word16 -> Country
Country Word16
92

pattern VirginIslandsBritish :: Country
pattern $mVirginIslandsBritish :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bVirginIslandsBritish :: Country
VirginIslandsBritish = Country 92

-- | U.S. Virgin Islands; Virgin Islands (U.S.)
virginIslandsUs :: Country
virginIslandsUs :: Country
virginIslandsUs = Word16 -> Country
Country Word16
850

pattern VirginIslandsUs :: Country
pattern $mVirginIslandsUs :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bVirginIslandsUs :: Country
VirginIslandsUs = Country 850

-- | Wallis and Futuna
wallisAndFutuna :: Country
wallisAndFutuna :: Country
wallisAndFutuna = Word16 -> Country
Country Word16
876

pattern WallisAndFutuna :: Country
pattern $mWallisAndFutuna :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bWallisAndFutuna :: Country
WallisAndFutuna = Country 876

-- | Western Sahara
westernSahara :: Country
westernSahara :: Country
westernSahara = Word16 -> Country
Country Word16
732

pattern WesternSahara :: Country
pattern $mWesternSahara :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bWesternSahara :: Country
WesternSahara = Country 732

-- | Yemen
yemen :: Country
yemen :: Country
yemen = Word16 -> Country
Country Word16
887

pattern Yemen :: Country
pattern $mYemen :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bYemen :: Country
Yemen = Country 887

-- | Republic of Zambia; Zambia
zambia :: Country
zambia :: Country
zambia = Word16 -> Country
Country Word16
894

pattern Zambia :: Country
pattern $mZambia :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bZambia :: Country
Zambia = Country 894

-- | Republic of Zimbabwe; Zimbabwe
zimbabwe :: Country
zimbabwe :: Country
zimbabwe = Word16 -> Country
Country Word16
716

pattern Zimbabwe :: Country
pattern $mZimbabwe :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bZimbabwe :: Country
Zimbabwe = Country 716

-- | Kosovo
kosovo :: Country
kosovo :: Country
kosovo = Word16 -> Country
Country Word16
383

pattern Kosovo :: Country
pattern $mKosovo :: forall {r}. Country -> ((# #) -> r) -> ((# #) -> r) -> r
$bKosovo :: Country
Kosovo = Country 383