module Country.Identifier where
import Country.Unsafe (Country(..))
afghanistan :: Country
afghanistan :: Country
afghanistan = Word16 -> Country
Country Word16
4
ålandIslands :: Country
ålandIslands :: Country
ålandIslands = Word16 -> Country
Country Word16
248
albania :: Country
albania :: Country
albania = Word16 -> Country
Country Word16
8
algeria :: Country
algeria :: Country
algeria = Word16 -> Country
Country Word16
12
americanSamoa :: Country
americanSamoa :: Country
americanSamoa = Word16 -> Country
Country Word16
16
andorra :: Country
andorra :: Country
andorra = Word16 -> Country
Country Word16
20
angola :: Country
angola :: Country
angola = Word16 -> Country
Country Word16
24
anguilla :: Country
anguilla :: Country
anguilla = Word16 -> Country
Country Word16
660
antarctica :: Country
antarctica :: Country
antarctica = Word16 -> Country
Country Word16
10
antiguaAndBarbuda :: Country
antiguaAndBarbuda :: Country
antiguaAndBarbuda = Word16 -> Country
Country Word16
28
argentina :: Country
argentina :: Country
argentina = Word16 -> Country
Country Word16
32
armenia :: Country
armenia :: Country
armenia = Word16 -> Country
Country Word16
51
aruba :: Country
aruba :: Country
aruba = Word16 -> Country
Country Word16
533
australia :: Country
australia :: Country
australia = Word16 -> Country
Country Word16
36
austria :: Country
austria :: Country
austria = Word16 -> Country
Country Word16
40
azerbaijan :: Country
azerbaijan :: Country
azerbaijan = Word16 -> Country
Country Word16
31
bahamas :: Country
bahamas :: Country
bahamas = Word16 -> Country
Country Word16
44
bahrain :: Country
bahrain :: Country
bahrain = Word16 -> Country
Country Word16
48
bangladesh :: Country
bangladesh :: Country
bangladesh = Word16 -> Country
Country Word16
50
barbados :: Country
barbados :: Country
barbados = Word16 -> Country
Country Word16
52
belarus :: Country
belarus :: Country
belarus = Word16 -> Country
Country Word16
112
belgium :: Country
belgium :: Country
belgium = Word16 -> Country
Country Word16
56
belize :: Country
belize :: Country
belize = Word16 -> Country
Country Word16
84
benin :: Country
benin :: Country
benin = Word16 -> Country
Country Word16
204
bermuda :: Country
bermuda :: Country
bermuda = Word16 -> Country
Country Word16
60
bhutan :: Country
bhutan :: Country
bhutan = Word16 -> Country
Country Word16
64
boliviaPlurinationalStateOf :: Country
boliviaPlurinationalStateOf :: Country
boliviaPlurinationalStateOf = Word16 -> Country
Country Word16
68
bonaireSintEustatiusAndSaba :: Country
bonaireSintEustatiusAndSaba :: Country
bonaireSintEustatiusAndSaba = Word16 -> Country
Country Word16
535
bosniaAndHerzegovina :: Country
bosniaAndHerzegovina :: Country
bosniaAndHerzegovina = Word16 -> Country
Country Word16
70
botswana :: Country
botswana :: Country
botswana = Word16 -> Country
Country Word16
72
bouvetIsland :: Country
bouvetIsland :: Country
bouvetIsland = Word16 -> Country
Country Word16
74
brazil :: Country
brazil :: Country
brazil = Word16 -> Country
Country Word16
76
britishIndianOceanTerritory :: Country
britishIndianOceanTerritory :: Country
britishIndianOceanTerritory = Word16 -> Country
Country Word16
86
bruneiDarussalam :: Country
bruneiDarussalam :: Country
bruneiDarussalam = Word16 -> Country
Country Word16
96
bulgaria :: Country
bulgaria :: Country
bulgaria = Word16 -> Country
Country Word16
100
burkinaFaso :: Country
burkinaFaso :: Country
burkinaFaso = Word16 -> Country
Country Word16
854
burundi :: Country
burundi :: Country
burundi = Word16 -> Country
Country Word16
108
cambodia :: Country
cambodia :: Country
cambodia = Word16 -> Country
Country Word16
116
cameroon :: Country
cameroon :: Country
cameroon = Word16 -> Country
Country Word16
120
canada :: Country
canada :: Country
canada = Word16 -> Country
Country Word16
124
caboVerde :: Country
caboVerde :: Country
caboVerde = Word16 -> Country
Country Word16
132
caymanIslands :: Country
caymanIslands :: Country
caymanIslands = Word16 -> Country
Country Word16
136
centralAfricanRepublic :: Country
centralAfricanRepublic :: Country
centralAfricanRepublic = Word16 -> Country
Country Word16
140
chad :: Country
chad :: Country
chad = Word16 -> Country
Country Word16
148
chile :: Country
chile :: Country
chile = Word16 -> Country
Country Word16
152
china :: Country
china :: Country
china = Word16 -> Country
Country Word16
156
christmasIsland :: Country
christmasIsland :: Country
christmasIsland = Word16 -> Country
Country Word16
162
cocosKeelingIslands :: Country
cocosKeelingIslands :: Country
cocosKeelingIslands = Word16 -> Country
Country Word16
166
colombia :: Country
colombia :: Country
colombia = Word16 -> Country
Country Word16
170
comoros :: Country
comoros :: Country
comoros = Word16 -> Country
Country Word16
174
congo :: Country
congo :: Country
congo = Word16 -> Country
Country Word16
178
congoDemocraticRepublicOfThe :: Country
congoDemocraticRepublicOfThe :: Country
congoDemocraticRepublicOfThe = Word16 -> Country
Country Word16
180
cookIslands :: Country
cookIslands :: Country
cookIslands = Word16 -> Country
Country Word16
184
costaRica :: Country
costaRica :: Country
costaRica = Word16 -> Country
Country Word16
188
côteDivoire :: Country
côteDivoire :: Country
côteDivoire = Word16 -> Country
Country Word16
384
croatia :: Country
croatia :: Country
croatia = Word16 -> Country
Country Word16
191
cuba :: Country
cuba :: Country
cuba = Word16 -> Country
Country Word16
192
curaçao :: Country
curaçao :: Country
curaçao = Word16 -> Country
Country Word16
531
cyprus :: Country
cyprus :: Country
cyprus = Word16 -> Country
Country Word16
196
czechRepublic :: Country
czechRepublic :: Country
czechRepublic = Word16 -> Country
Country Word16
203
denmark :: Country
denmark :: Country
denmark = Word16 -> Country
Country Word16
208
djibouti :: Country
djibouti :: Country
djibouti = Word16 -> Country
Country Word16
262
dominica :: Country
dominica :: Country
dominica = Word16 -> Country
Country Word16
212
dominicanRepublic :: Country
dominicanRepublic :: Country
dominicanRepublic = Word16 -> Country
Country Word16
214
ecuador :: Country
ecuador :: Country
ecuador = Word16 -> Country
Country Word16
218
egypt :: Country
egypt :: Country
egypt = Word16 -> Country
Country Word16
818
elSalvador :: Country
elSalvador :: Country
elSalvador = Word16 -> Country
Country Word16
222
equatorialGuinea :: Country
equatorialGuinea :: Country
equatorialGuinea = Word16 -> Country
Country Word16
226
eritrea :: Country
eritrea :: Country
eritrea = Word16 -> Country
Country Word16
232
estonia :: Country
estonia :: Country
estonia = Word16 -> Country
Country Word16
233
ethiopia :: Country
ethiopia :: Country
ethiopia = Word16 -> Country
Country Word16
231
falklandIslandsMalvinas :: Country
falklandIslandsMalvinas :: Country
falklandIslandsMalvinas = Word16 -> Country
Country Word16
238
faroeIslands :: Country
faroeIslands :: Country
faroeIslands = Word16 -> Country
Country Word16
234
fiji :: Country
fiji :: Country
fiji = Word16 -> Country
Country Word16
242
finland :: Country
finland :: Country
finland = Word16 -> Country
Country Word16
246
france :: Country
france :: Country
france = Word16 -> Country
Country Word16
250
frenchGuiana :: Country
frenchGuiana :: Country
frenchGuiana = Word16 -> Country
Country Word16
254
frenchPolynesia :: Country
frenchPolynesia :: Country
frenchPolynesia = Word16 -> Country
Country Word16
258
frenchSouthernTerritories :: Country
frenchSouthernTerritories :: Country
frenchSouthernTerritories = Word16 -> Country
Country Word16
260
gabon :: Country
gabon :: Country
gabon = Word16 -> Country
Country Word16
266
gambia :: Country
gambia :: Country
gambia = Word16 -> Country
Country Word16
270
georgia :: Country
georgia :: Country
georgia = Word16 -> Country
Country Word16
268
germany :: Country
germany :: Country
germany = Word16 -> Country
Country Word16
276
ghana :: Country
ghana :: Country
ghana = Word16 -> Country
Country Word16
288
gibraltar :: Country
gibraltar :: Country
gibraltar = Word16 -> Country
Country Word16
292
greece :: Country
greece :: Country
greece = Word16 -> Country
Country Word16
300
greenland :: Country
greenland :: Country
greenland = Word16 -> Country
Country Word16
304
grenada :: Country
grenada :: Country
grenada = Word16 -> Country
Country Word16
308
guadeloupe :: Country
guadeloupe :: Country
guadeloupe = Word16 -> Country
Country Word16
312
guam :: Country
guam :: Country
guam = Word16 -> Country
Country Word16
316
guatemala :: Country
guatemala :: Country
guatemala = Word16 -> Country
Country Word16
320
guernsey :: Country
guernsey :: Country
guernsey = Word16 -> Country
Country Word16
831
guinea :: Country
guinea :: Country
guinea = Word16 -> Country
Country Word16
324
guineabissau :: Country
guineabissau :: Country
guineabissau = Word16 -> Country
Country Word16
624
guyana :: Country
guyana :: Country
guyana = Word16 -> Country
Country Word16
328
haiti :: Country
haiti :: Country
haiti = Word16 -> Country
Country Word16
332
heardIslandAndMcdonaldIslands :: Country
heardIslandAndMcdonaldIslands :: Country
heardIslandAndMcdonaldIslands = Word16 -> Country
Country Word16
334
holySee :: Country
holySee :: Country
holySee = Word16 -> Country
Country Word16
336
honduras :: Country
honduras :: Country
honduras = Word16 -> Country
Country Word16
340
hongKong :: Country
hongKong :: Country
hongKong = Word16 -> Country
Country Word16
344
hungary :: Country
hungary :: Country
hungary = Word16 -> Country
Country Word16
348
iceland :: Country
iceland :: Country
iceland = Word16 -> Country
Country Word16
352
india :: Country
india :: Country
india = Word16 -> Country
Country Word16
356
indonesia :: Country
indonesia :: Country
indonesia = Word16 -> Country
Country Word16
360
iranIslamicRepublicOf :: Country
iranIslamicRepublicOf :: Country
iranIslamicRepublicOf = Word16 -> Country
Country Word16
364
iraq :: Country
iraq :: Country
iraq = Word16 -> Country
Country Word16
368
ireland :: Country
ireland :: Country
ireland = Word16 -> Country
Country Word16
372
isleOfMan :: Country
isleOfMan :: Country
isleOfMan = Word16 -> Country
Country Word16
833
israel :: Country
israel :: Country
israel = Word16 -> Country
Country Word16
376
italy :: Country
italy :: Country
italy = Word16 -> Country
Country Word16
380
jamaica :: Country
jamaica :: Country
jamaica = Word16 -> Country
Country Word16
388
japan :: Country
japan :: Country
japan = Word16 -> Country
Country Word16
392
jersey :: Country
jersey :: Country
jersey = Word16 -> Country
Country Word16
832
jordan :: Country
jordan :: Country
jordan = Word16 -> Country
Country Word16
400
kazakhstan :: Country
kazakhstan :: Country
kazakhstan = Word16 -> Country
Country Word16
398
kenya :: Country
kenya :: Country
kenya = Word16 -> Country
Country Word16
404
kiribati :: Country
kiribati :: Country
kiribati = Word16 -> Country
Country Word16
296
koreaDemocraticPeoplesRepublicOf :: Country
koreaDemocraticPeoplesRepublicOf :: Country
koreaDemocraticPeoplesRepublicOf = Word16 -> Country
Country Word16
408
koreaRepublicOf :: Country
koreaRepublicOf :: Country
koreaRepublicOf = Word16 -> Country
Country Word16
410
kuwait :: Country
kuwait :: Country
kuwait = Word16 -> Country
Country Word16
414
kyrgyzstan :: Country
kyrgyzstan :: Country
kyrgyzstan = Word16 -> Country
Country Word16
417
laoPeoplesDemocraticRepublic :: Country
laoPeoplesDemocraticRepublic :: Country
laoPeoplesDemocraticRepublic = Word16 -> Country
Country Word16
418
latvia :: Country
latvia :: Country
latvia = Word16 -> Country
Country Word16
428
lebanon :: Country
lebanon :: Country
lebanon = Word16 -> Country
Country Word16
422
lesotho :: Country
lesotho :: Country
lesotho = Word16 -> Country
Country Word16
426
liberia :: Country
liberia :: Country
liberia = Word16 -> Country
Country Word16
430
libya :: Country
libya :: Country
libya = Word16 -> Country
Country Word16
434
liechtenstein :: Country
liechtenstein :: Country
liechtenstein = Word16 -> Country
Country Word16
438
lithuania :: Country
lithuania :: Country
lithuania = Word16 -> Country
Country Word16
440
luxembourg :: Country
luxembourg :: Country
luxembourg = Word16 -> Country
Country Word16
442
macao :: Country
macao :: Country
macao = Word16 -> Country
Country Word16
446
macedoniaTheFormerYugoslavRepublicOf :: Country
macedoniaTheFormerYugoslavRepublicOf :: Country
macedoniaTheFormerYugoslavRepublicOf = Word16 -> Country
Country Word16
807
madagascar :: Country
madagascar :: Country
madagascar = Word16 -> Country
Country Word16
450
malawi :: Country
malawi :: Country
malawi = Word16 -> Country
Country Word16
454
malaysia :: Country
malaysia :: Country
malaysia = Word16 -> Country
Country Word16
458
maldives :: Country
maldives :: Country
maldives = Word16 -> Country
Country Word16
462
mali :: Country
mali :: Country
mali = Word16 -> Country
Country Word16
466
malta :: Country
malta :: Country
malta = Word16 -> Country
Country Word16
470
marshallIslands :: Country
marshallIslands :: Country
marshallIslands = Word16 -> Country
Country Word16
584
martinique :: Country
martinique :: Country
martinique = Word16 -> Country
Country Word16
474
mauritania :: Country
mauritania :: Country
mauritania = Word16 -> Country
Country Word16
478
mauritius :: Country
mauritius :: Country
mauritius = Word16 -> Country
Country Word16
480
mayotte :: Country
mayotte :: Country
mayotte = Word16 -> Country
Country Word16
175
mexico :: Country
mexico :: Country
mexico = Word16 -> Country
Country Word16
484
micronesiaFederatedStatesOf :: Country
micronesiaFederatedStatesOf :: Country
micronesiaFederatedStatesOf = Word16 -> Country
Country Word16
583
moldovaRepublicOf :: Country
moldovaRepublicOf :: Country
moldovaRepublicOf = Word16 -> Country
Country Word16
498
monaco :: Country
monaco :: Country
monaco = Word16 -> Country
Country Word16
492
mongolia :: Country
mongolia :: Country
mongolia = Word16 -> Country
Country Word16
496
montenegro :: Country
montenegro :: Country
montenegro = Word16 -> Country
Country Word16
499
montserrat :: Country
montserrat :: Country
montserrat = Word16 -> Country
Country Word16
500
morocco :: Country
morocco :: Country
morocco = Word16 -> Country
Country Word16
504
mozambique :: Country
mozambique :: Country
mozambique = Word16 -> Country
Country Word16
508
myanmar :: Country
myanmar :: Country
myanmar = Word16 -> Country
Country Word16
104
namibia :: Country
namibia :: Country
namibia = Word16 -> Country
Country Word16
516
nauru :: Country
nauru :: Country
nauru = Word16 -> Country
Country Word16
520
nepal :: Country
nepal :: Country
nepal = Word16 -> Country
Country Word16
524
netherlands :: Country
netherlands :: Country
netherlands = Word16 -> Country
Country Word16
528
newCaledonia :: Country
newCaledonia :: Country
newCaledonia = Word16 -> Country
Country Word16
540
newZealand :: Country
newZealand :: Country
newZealand = Word16 -> Country
Country Word16
554
nicaragua :: Country
nicaragua :: Country
nicaragua = Word16 -> Country
Country Word16
558
niger :: Country
niger :: Country
niger = Word16 -> Country
Country Word16
562
nigeria :: Country
nigeria :: Country
nigeria = Word16 -> Country
Country Word16
566
niue :: Country
niue :: Country
niue = Word16 -> Country
Country Word16
570
norfolkIsland :: Country
norfolkIsland :: Country
norfolkIsland = Word16 -> Country
Country Word16
574
northernMarianaIslands :: Country
northernMarianaIslands :: Country
northernMarianaIslands = Word16 -> Country
Country Word16
580
norway :: Country
norway :: Country
norway = Word16 -> Country
Country Word16
578
oman :: Country
oman :: Country
oman = Word16 -> Country
Country Word16
512
pakistan :: Country
pakistan :: Country
pakistan = Word16 -> Country
Country Word16
586
palau :: Country
palau :: Country
palau = Word16 -> Country
Country Word16
585
palestineStateOf :: Country
palestineStateOf :: Country
palestineStateOf = Word16 -> Country
Country Word16
275
panama :: Country
panama :: Country
panama = Word16 -> Country
Country Word16
591
papuaNewGuinea :: Country
papuaNewGuinea :: Country
papuaNewGuinea = Word16 -> Country
Country Word16
598
paraguay :: Country
paraguay :: Country
paraguay = Word16 -> Country
Country Word16
600
peru :: Country
peru :: Country
peru = Word16 -> Country
Country Word16
604
philippines :: Country
philippines :: Country
philippines = Word16 -> Country
Country Word16
608
pitcairn :: Country
pitcairn :: Country
pitcairn = Word16 -> Country
Country Word16
612
poland :: Country
poland :: Country
poland = Word16 -> Country
Country Word16
616
portugal :: Country
portugal :: Country
portugal = Word16 -> Country
Country Word16
620
puertoRico :: Country
puertoRico :: Country
puertoRico = Word16 -> Country
Country Word16
630
qatar :: Country
qatar :: Country
qatar = Word16 -> Country
Country Word16
634
réunion :: Country
réunion :: Country
réunion = Word16 -> Country
Country Word16
638
romania :: Country
romania :: Country
romania = Word16 -> Country
Country Word16
642
russianFederation :: Country
russianFederation :: Country
russianFederation = Word16 -> Country
Country Word16
643
rwanda :: Country
rwanda :: Country
rwanda = Word16 -> Country
Country Word16
646
saintBarthélemy :: Country
saintBarthélemy :: Country
saintBarthélemy = Word16 -> Country
Country Word16
652
saintHelenaAscensionAndTristanDaCunha :: Country
saintHelenaAscensionAndTristanDaCunha :: Country
saintHelenaAscensionAndTristanDaCunha = Word16 -> Country
Country Word16
654
saintKittsAndNevis :: Country
saintKittsAndNevis :: Country
saintKittsAndNevis = Word16 -> Country
Country Word16
659
saintLucia :: Country
saintLucia :: Country
saintLucia = Word16 -> Country
Country Word16
662
saintMartinFrenchPart :: Country
saintMartinFrenchPart :: Country
saintMartinFrenchPart = Word16 -> Country
Country Word16
663
saintPierreAndMiquelon :: Country
saintPierreAndMiquelon :: Country
saintPierreAndMiquelon = Word16 -> Country
Country Word16
666
saintVincentAndTheGrenadines :: Country
saintVincentAndTheGrenadines :: Country
saintVincentAndTheGrenadines = Word16 -> Country
Country Word16
670
samoa :: Country
samoa :: Country
samoa = Word16 -> Country
Country Word16
882
sanMarino :: Country
sanMarino :: Country
sanMarino = Word16 -> Country
Country Word16
674
saoTomeAndPrincipe :: Country
saoTomeAndPrincipe :: Country
saoTomeAndPrincipe = Word16 -> Country
Country Word16
678
saudiArabia :: Country
saudiArabia :: Country
saudiArabia = Word16 -> Country
Country Word16
682
senegal :: Country
senegal :: Country
senegal = Word16 -> Country
Country Word16
686
serbia :: Country
serbia :: Country
serbia = Word16 -> Country
Country Word16
688
seychelles :: Country
seychelles :: Country
seychelles = Word16 -> Country
Country Word16
690
sierraLeone :: Country
sierraLeone :: Country
sierraLeone = Word16 -> Country
Country Word16
694
singapore :: Country
singapore :: Country
singapore = Word16 -> Country
Country Word16
702
sintMaartenDutchPart :: Country
sintMaartenDutchPart :: Country
sintMaartenDutchPart = Word16 -> Country
Country Word16
534
slovakia :: Country
slovakia :: Country
slovakia = Word16 -> Country
Country Word16
703
slovenia :: Country
slovenia :: Country
slovenia = Word16 -> Country
Country Word16
705
solomonIslands :: Country
solomonIslands :: Country
solomonIslands = Word16 -> Country
Country Word16
90
somalia :: Country
somalia :: Country
somalia = Word16 -> Country
Country Word16
706
southAfrica :: Country
southAfrica :: Country
southAfrica = Word16 -> Country
Country Word16
710
southGeorgiaAndTheSouthSandwichIslands :: Country
southGeorgiaAndTheSouthSandwichIslands :: Country
southGeorgiaAndTheSouthSandwichIslands = Word16 -> Country
Country Word16
239
southSudan :: Country
southSudan :: Country
southSudan = Word16 -> Country
Country Word16
728
spain :: Country
spain :: Country
spain = Word16 -> Country
Country Word16
724
sriLanka :: Country
sriLanka :: Country
sriLanka = Word16 -> Country
Country Word16
144
sudan :: Country
sudan :: Country
sudan = Word16 -> Country
Country Word16
729
suriname :: Country
suriname :: Country
suriname = Word16 -> Country
Country Word16
740
svalbardAndJanMayen :: Country
svalbardAndJanMayen :: Country
svalbardAndJanMayen = Word16 -> Country
Country Word16
744
swaziland :: Country
swaziland :: Country
swaziland = Word16 -> Country
Country Word16
748
sweden :: Country
sweden :: Country
sweden = Word16 -> Country
Country Word16
752
switzerland :: Country
switzerland :: Country
switzerland = Word16 -> Country
Country Word16
756
syrianArabRepublic :: Country
syrianArabRepublic :: Country
syrianArabRepublic = Word16 -> Country
Country Word16
760
taiwanProvinceOfChina :: Country
taiwanProvinceOfChina :: Country
taiwanProvinceOfChina = Word16 -> Country
Country Word16
158
tajikistan :: Country
tajikistan :: Country
tajikistan = Word16 -> Country
Country Word16
762
tanzaniaUnitedRepublicOf :: Country
tanzaniaUnitedRepublicOf :: Country
tanzaniaUnitedRepublicOf = Word16 -> Country
Country Word16
834
thailand :: Country
thailand :: Country
thailand = Word16 -> Country
Country Word16
764
timorleste :: Country
timorleste :: Country
timorleste = Word16 -> Country
Country Word16
626
togo :: Country
togo :: Country
togo = Word16 -> Country
Country Word16
768
tokelau :: Country
tokelau :: Country
tokelau = Word16 -> Country
Country Word16
772
tonga :: Country
tonga :: Country
tonga = Word16 -> Country
Country Word16
776
trinidadAndTobago :: Country
trinidadAndTobago :: Country
trinidadAndTobago = Word16 -> Country
Country Word16
780
tunisia :: Country
tunisia :: Country
tunisia = Word16 -> Country
Country Word16
788
turkey :: Country
turkey :: Country
turkey = Word16 -> Country
Country Word16
792
turkmenistan :: Country
turkmenistan :: Country
turkmenistan = Word16 -> Country
Country Word16
795
turksAndCaicosIslands :: Country
turksAndCaicosIslands :: Country
turksAndCaicosIslands = Word16 -> Country
Country Word16
796
tuvalu :: Country
tuvalu :: Country
tuvalu = Word16 -> Country
Country Word16
798
uganda :: Country
uganda :: Country
uganda = Word16 -> Country
Country Word16
800
ukraine :: Country
ukraine :: Country
ukraine = Word16 -> Country
Country Word16
804
unitedArabEmirates :: Country
unitedArabEmirates :: Country
unitedArabEmirates = Word16 -> Country
Country Word16
784
unitedKingdomOfGreatBritainAndNorthernIreland :: Country
unitedKingdomOfGreatBritainAndNorthernIreland :: Country
unitedKingdomOfGreatBritainAndNorthernIreland = Word16 -> Country
Country Word16
826
unitedStatesOfAmerica :: Country
unitedStatesOfAmerica :: Country
unitedStatesOfAmerica = Word16 -> Country
Country Word16
840
unitedStatesMinorOutlyingIslands :: Country
unitedStatesMinorOutlyingIslands :: Country
unitedStatesMinorOutlyingIslands = Word16 -> Country
Country Word16
581
uruguay :: Country
uruguay :: Country
uruguay = Word16 -> Country
Country Word16
858
uzbekistan :: Country
uzbekistan :: Country
uzbekistan = Word16 -> Country
Country Word16
860
vanuatu :: Country
vanuatu :: Country
vanuatu = Word16 -> Country
Country Word16
548
venezuelaBolivarianRepublicOf :: Country
venezuelaBolivarianRepublicOf :: Country
venezuelaBolivarianRepublicOf = Word16 -> Country
Country Word16
862
vietNam :: Country
vietNam :: Country
vietNam = Word16 -> Country
Country Word16
704
virginIslandsBritish :: Country
virginIslandsBritish :: Country
virginIslandsBritish = Word16 -> Country
Country Word16
92
virginIslandsUs :: Country
virginIslandsUs :: Country
virginIslandsUs = Word16 -> Country
Country Word16
850
wallisAndFutuna :: Country
wallisAndFutuna :: Country
wallisAndFutuna = Word16 -> Country
Country Word16
876
westernSahara :: Country
westernSahara :: Country
westernSahara = Word16 -> Country
Country Word16
732
yemen :: Country
yemen :: Country
yemen = Word16 -> Country
Country Word16
887
zambia :: Country
zambia :: Country
zambia = Word16 -> Country
Country Word16
894
zimbabwe :: Country
zimbabwe :: Country
zimbabwe = Word16 -> Country
Country Word16
716
kosovo :: Country
kosovo :: Country
kosovo = Word16 -> Country
Country Word16
383