;      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ eUse precomposition to access projections on values in the co-domain. The list must be the extension  of an injective function. aUse precomposition to access injections on values in the domain. The list must be the extension g of an injective function. The function by which we pull back must be an injection into the domain. Elevation from sea level.          nAOther US Entities, such as protectorates, districts, and others: State abbreviations:  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIThe I5 data type is a list of States in the United States. JKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{:An easy to modify representation of the bijection between I s and their   StateCodes. n !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{n2HGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"!  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHI2{zyxwvutsrqponmlkjihgfedcba`_^]\[ZYXWVUTSRQPONMLKJJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{ |}~p !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~pI{zyxwvutsrqponmlkjihgfedcba`_^]\[ZYXWVUTSRQPONMLKJHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"! ~}|~ *Takes a DecimalDigit to its Integral form ETakes an Integral digit to a DecimalDigit. This function is partial  on a set of Integrals.   The CountryName type encodes all the names for       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnop The type of " countries"& includes sovereign nations and other "areas of geographical interest", J as defined by the United Nations, whose definition was adopted by ISO. qrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefgA smart constructor to turn s into &s. Note that the space of ISO-3166-1 e numeric codes has many reserved or otherwise unused codes. This constructor does not verify that I its input is a valid ISO-3166-1 country code, it merely constructs a " represents the bijection between ps and  their s. A "table" of 0s, each of which is a relation in three values. E By construction, these are the only valid ISOCountryCode values. A "table" of 0s, each of which is a relation in three values. - By construction, these are the only valid  values. 9These names come either from the United Nations document "Terminology Bulletin Country Names  or ,Country and Region Codes for Statistical Use5 as described by ISO-3166-1. This data is naturally j tabular, and it is worth keeping in that form despite the extreme width of the textual representation.       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefgxwvutsrqponmlkjihgfedcba`_^]\[ZYXWVUTSRQPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"!            !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyonmlkjihgfedcba`_^]\[ZYXWVUTSRQPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"!      ~}|{zz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopfedcba`_^]\[ZYXWVUTSRQPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"!      ~}|{zyxwvutsrqqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefg hijklhijkllhijkhijkijkl mnopqrstuvwx mnopqrstuvwx uvwxmnopqrst mnopqrstnopqrstuvwxvwx yMaps a p% to its ISO-3166-1 2-character code. zMaps a p% to its ISO-3166-1 3-character code. {Maps a p! to its ISO-3166-1 numeric code. |)Maps an ISO-3166-1 2-character code to a p. })Maps an ISO-3166-1 3-character code to a p. ~@The ISO Numeric Code space is not fully packed. Many codes are "reserved" or otherwise  unused. ~ takes an ! and possibly returns a matching  p.  maps a valid  to a p. Unfortunately, $ this is a partial function. Use ~# instead, unless you can guarantee  that the ! supplied to the query is valid. ! maps a Country to an ISO-3166-1 " short name". By the international - standard, these names are taken from the "1United Nations Terminology Bulletin Country Names",  and ",Country and Region Codes for Statistical Use"? of the UN Statistics Division. ! maps a Country to an ISO-3166-1 " formal name". By the international - standard, these names are taken from the "1United Nations Terminology Bulletin Country Names",  and ",Country and Region Codes for Statistical Use"! of the UN Statistics Division.       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefgyz{|}~pfedcba`_^]\[ZYXWVUTSRQPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"!      ~}|{zyxwvutsrqyonmlkjihgfedcba`_^]\[ZYXWVUTSRQPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"!      ~}|{zxwvutsrqponmlkjihgfedcba`_^]\[ZYXWVUTSRQPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"!      gyz|}{~ yz{|}~         ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~                                                                                                                                                                 ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~                            )                *           +                           -          8   2        > ; @ <  ?        9       :         A             F     G E     %               K   I         ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 M 6 7 8 9 : ; B < N = > ? @ A B C D E F G H I J K L M N O P Q R P S T U V O W X Y Z [ \ ] R ^ _ ` a b c d e  f g h i j k l m n o p q r s t u v w x y z { | } ~                                                                                                                                        |                               ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L  M N O P QRRSTUVVWXYZ[S\\]^_`abcdefghijkDlImnopqrstuvwxyz{| }~                                            Facts-0.1Facts.Geography.Location&Facts.Geography.Countries.UnitedStatesFacts.Geography.Countries.Facts.Geography.Countries.UnitedStates.ZipCode.Facts.Geography.Countries.UnitedStates.AddressFacts.Geography.ContinentsFacts.Utility.TemplatesFacts.Utility.OrphanInstances4Facts.Geography.Countries.UnitedStates.Internal.Data7Facts.Geography.Countries.UnitedStates.Internal.SplicesData.Numerals.Decimal'Facts.Geography.Countries.Internal.Data*Facts.Geography.Countries.Internal.SplicesLocationlatitude longitude elevation Elevation LongitudeLatitudeDMSdegreesminutesseconds OtherUSEntityDistrictOfColumbiaUSVirginIslands PuertoRicoNorthernMarianaIslandsGuam AmericanSamoaStateAbbreviationWYWIWVWAVAVTUTTXTNSDSCRIPAOROKOHNDNCNYNMNJNHNVNEMTMOMSMNMIMAMDMELAKYKSIAINILIDHIGAFLDECTCOCAARAZAKALStateWyoming Wisconsin WestVirginia WashingtonVirginiaVermontUtahTexas Tennessee SouthDakota SouthCarolina RhodeIsland PennsylvaniaOregonOklahomaOhio NorthDakota NorthCarolinaNewYork NewMexico NewJersey NewHampshireNevadaNebraskaMontanaMissouri Mississippi MinnesotaMichigan MassachusettsMarylandMaine LouisianaKentuckyKansasIowaIndianaIllinoisIdahoHawaiiGeorgiaFloridaDelaware ConnecticutColorodo CaliforniaArkansasArizonaAlaskaAlabamastate_code_by_statestate_by_state_code StateCode UNFormalName UNShortNameISONumericCode ISOAlpha3CodeZWEZMBYEMESHWLFVIRVGBVNMVENVUTUZBURYUMIUSAGBRAREUKRUGATUVTCATKMTURTUNTTOTONTKLTGOTLSTHATZATJKTWNSYRCHESWESWZSJMSURSDNLKAESPSGSZAFSOMSLBSVNSVKSGPSLESYCSRBSENSAUSTPSMRWSMVCTSPMMAFLCAKNASHNBLMRWARUSROUREUQATPRIPRTPOLPCNPHLPERPRYPNGPANPSEPLWPAKOMNNORMNPNFKNIUNGANERNICNZLNCLANTNLDNPLNRUNAMMMRMOZMARMSRMNEMNGMCOMDAFSMMEXMYTMUSMRTMTQMHLMLTMLIMDVMYSMWIMDGMKDMACLUXLTULIELBYLBRLSOLBNLVALAOKGZKWTKORPRKKIRKENKAZJORJEYJPNJAMITAISRIMNIRLIRQIRNIDNINDISLHUNHKGHNDVATHMDHTIGUYGNBGINGGYGTMGUMGLPGRDGRLGRCGIBGHADEUGEOGMBGABATFPYFGUFFRAFINFJIFROFLKETHESTERIGNQSLVEGYECUDOMDMADJIDNKCZECYPCUBHRVCIVCRICOKCODCOGCOMCOLCCKCXRCHNCHLTCDCAFCYMCPVCANCMRKHMBDIBFABGRBRNIOTBRABVTBWABIHBOLBTNBMUBENBLZBELBLRBRBBGDBHRBHSAZEAUTAUSABWARMARGATGATAAIAAGOANDASMDZAALBALAAFG ISOAlpha2CodeZWZMYEEHWFVIVGVNVEVUUZUYUMUSGBAEUAUGTVTCTMTRTTTOTKTGTLTHTZTJTWSYCHSESZSJSRLKESGSZASOSBSISKSGSLRSSNSASTSMWSVCPMMFLCKNSHBLRWRUROREQAPRPTPLPNPHPEPYPGPSPWPKOMNOMPNFNUNGNINZANNLNPNRNAMMMZMCFMMXYTMUMRMQMHMLMVMYMWMGMKLULTLILYLRLSLBLVKGKWKRKPKIKEKZJOJEJPJMITIMIEIQIRISHUHKHNHMHTGYGWGNGGGTGUGPGDGLGRGIGHGEGMTFPFGFFRFIFJFOFKETEEERGQSVEGECDODMDJDKCZCYCUHRCICRCKCDCGKMCCCXCNCLTDCFCVCMKHBIBFBGBNIOBRBVBWBABOBTBMBJBZBEBYBBBDBHBSATAUAWAMAGAQAIAOADASDZAXAFCountryZimbabweZambiaYemen WesternSaharaWallisAndFutunaBritishVirginIslandsVietNam VenezuelaVanuatu UzbekistanUruguay UnitedStatesMinorOutlyingIslands UnitedStates UnitedKingdomUnitedArabEmiratesUkraineUgandaTuvaluTurksAndCaicosIslands TurkmenistanTurkeyTunisiaTrinidadAndTobagoTongaTokelauTogo TimorLesteThailandTanzania TajikistanTaiwanSyria SwitzerlandSweden SwazilandSvalbardAndJanMayenSurinameSudanSriLankaSpain&SouthGeorgiaAndtheSouthSandwichIslands SouthAfricaSomaliaSolomonIslandsSloveniaSlovakia Singapore SierraLeone SeychellesSerbiaSenegal SaudiArabiaSaoTomeAndPrincipe SanMarinoSamoaSaintVincentAndTheGrenadinesSaintPierreAndMiquelon SaintMartin SaintLuciaSaintKittsAndNevis%SaintHelenaAscensionAndTristanDaCunhaSaintBarthelemyRwandaRussianFederationRomaniaReunionQatarPortugalPolandPitcairn PhilippinesPeruParaguayPapuaNewGuineaPanama PalestininePalauPakistanOmanNorway NorfolkIslandNiueNigeriaNiger Nicaragua NewZealand NewCaledoniaNetherlandsAntilles NetherlandsNepalNauruNamibiaMyanmar MozambiqueMorocco Montserrat MontenegroMongoliaMonacoMoldova MicronesiaMexicoMayotte Mauritius Mauritania MartiniqueMarshallIslandsMaltaMaliMaldivesMalaysiaMalawi Madagascar MacedoniaMacao Luxembourg Lithuania LiechtensteinLibyaLiberiaLesothoLebanonLatviaLaos KyrgyzstanKuwait SouthKorea NorthKoreaKiribatiKenya KazakhstanJordanJerseyJapanJamaicaItalyIsrael IsleOfManIrelandIraqIran IndonesiaIndiaIcelandHungaryHongKongHondurasHolySeeHeardIslandAndMcDonaldIslandsHaitiGuyana GuineaBissauGuineaGuernsey Guatemala GuadeloupeGrenada GreenlandGreece GibraltarGhanaGermanyGambiaGabonFrenchSouthernTerritoriesFrenchPolynesia FrenchGuianaFranceFinlandFiji FaroeIslandsFalklandIslandsEthiopiaEstoniaEritreaEquatorialGuinea ElSalvadorEgyptEcuadorDominicanRepublicDominicaDjiboutiDenmark CzechRepublicCyprusCubaCroatia CoteDIvoire CostaRica CookIslandsDemocraticRepublicOfCongoCongoComorosColombiaCocosKeelingIslandsChristmasIslandChinaChileChadCentralAfricanRepublic CaymanIslands CapeVerdeCanadaCameroonCambodiaBurundi BurkinaFasoBulgariaBruneiDarussalamBritishIndianOceanTerritoryBrazil BouvetIslandBotswanaBosniaAndHerzegovinaBoliviaBhutanBermudaBeninBelizeBelgiumBelarusBarbados BangladeshBahrainBahamas AzerbaijanAustria AustraliaArubaArmenia ArgentinaAntiguaAndBarbuda AntarcticaAnguillaAngolaAndorraAlgeriaAlbania AlandIslands AfghanistanisoNumericCodeZipCodezip_codeplus4DigitAddress recipientstreet_addressstreet_address2citystate Recipientrecipient_namerecipient_firmisoAlpha2Code_for_countryisoAlpha3Code_for_countryisoNumericCode_for_countrycountry_for_isoAlpha2Codecountry_for_isoAlpha3Codecountry_for_isoNumericCode country_for_valid_isoNumericCodeshortEnglishCountryNameformalEnglishCountryName Continent SouthAmerica NorthAmericaEuropeAsiaAfricalist_to_bijectionlist_to_injectionlist_to_injection_via_pushoutlist_to_injection_via_pullback flip_pairadjoint apply_left apply_rightLengthFeetMetersdms_to_degreesdms_to_latitudedms_to_longitude%dms_lat_long_to_location_at_sea_levelstates_and_state_codes&prop_state_and_state_code_are_inverses&prop_state_code_and_state_are_inverses DecimalDigitNineEightSevenSixFiveFourThreeTwoOneZerodecimal_digit_to_integral&unsafe_integral_digit_to_decimal_digitintegral_to_digitsdigits_to_integralprop_decimal_digit_round_trip!prop_positive_integral_round_trip CountryNameenglish_short_nameenglish_formal_nameISOCountryCode isoAlpha2 isoAlpha3 isoNumeric integer-gmpGHC.Integer.TypeIntegercountries_and_iso_country_codesvalid_iso_country_codesvalid_iso_numeric_codesvalidate_isoNumericCode"countries_and_united_nations_names_country_code_by_country_country_by_country_code_country_name_by_country_isoAlpha2_for_country_isoAlpha3_for_country_isoNumeric_for_country_country_for_isoAlpha2_country_for_isoAlpha3_country_for_isoNumeric_shortEnglishCountryName_formalEnglishCountryName ValidCodeprop_country_to_code_roundtripprop_code_to_country_roundtrip