{-# LANGUAGE PatternSynonyms #-}
module Country.Identifier where
import Country.Unsafe (Country(..))
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
å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 :: 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 :: 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
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 :: 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 :: 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 :: 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 :: 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
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 :: 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 :: 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 :: 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 :: 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 :: 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 :: 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 :: 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 :: 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 :: 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 :: 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 :: 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 :: 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 :: 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 :: 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 :: 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 :: 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
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
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
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 :: 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
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 :: 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
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
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 :: 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
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 :: 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 :: 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 :: 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 :: 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
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
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
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 :: 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
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 :: 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
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
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 :: 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 :: 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 :: 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
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
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
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ô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 :: 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 :: 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 :: 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 :: 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
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
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
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 :: 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
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 :: 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
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
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
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 :: 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 :: 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 :: 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
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
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 :: 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 :: 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
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
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
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
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 :: 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 :: 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 :: 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
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 :: 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 :: 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 :: 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 :: 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 :: 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 :: 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 :: 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 :: 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 :: 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 :: 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
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 :: 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 :: 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
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
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 :: 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
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 :: 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 :: 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
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 :: 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
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
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 :: 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
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
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 :: 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 :: 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 :: 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 :: 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
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
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
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 :: 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
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
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 :: 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 :: 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
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 :: 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 :: 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
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 :: 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 :: 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 :: 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
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
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 :: 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
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 :: 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 :: 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
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
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 :: 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 :: 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
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 :: 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
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 :: 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 :: 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
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
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
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 :: 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 :: 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 :: 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 :: 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 :: 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 :: 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
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 :: 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 :: 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 :: 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 :: 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
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
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 :: 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 :: 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 :: 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 :: 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
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
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 :: 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 :: 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 :: 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 :: 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
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 :: 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
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 :: 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 :: 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 :: 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 :: 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 :: 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 :: 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
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 :: 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 :: 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
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
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
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
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
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
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
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
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
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
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 :: 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
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
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
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 :: 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 :: 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 :: 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
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
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
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 :: 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 :: 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
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 :: 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
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
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
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
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
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
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
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
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 :: 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
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
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
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
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 :: 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
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 :: 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
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 :: 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 :: 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 :: 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
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 :: 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
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 :: 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
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 :: 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 :: 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
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
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
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
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
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 :: 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 :: 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
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
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
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
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
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
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
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 :: 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
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
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 :: 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