{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE StrictData #-}
{-# LANGUAGE NoImplicitPrelude #-}
{-# OPTIONS_GHC -fno-warn-unused-imports #-}

-- Derived from AWS service descriptions, licensed under Apache 2.0.

-- |
-- Module      : Amazonka.Route53Domains.Types.CountryCode
-- Copyright   : (c) 2013-2021 Brendan Hay
-- License     : Mozilla Public License, v. 2.0.
-- Maintainer  : Brendan Hay <brendan.g.hay+amazonka@gmail.com>
-- Stability   : auto-generated
-- Portability : non-portable (GHC extensions)
module Amazonka.Route53Domains.Types.CountryCode
  ( CountryCode
      ( ..,
        CountryCode_AD,
        CountryCode_AE,
        CountryCode_AF,
        CountryCode_AG,
        CountryCode_AI,
        CountryCode_AL,
        CountryCode_AM,
        CountryCode_AN,
        CountryCode_AO,
        CountryCode_AQ,
        CountryCode_AR,
        CountryCode_AS,
        CountryCode_AT,
        CountryCode_AU,
        CountryCode_AW,
        CountryCode_AZ,
        CountryCode_BA,
        CountryCode_BB,
        CountryCode_BD,
        CountryCode_BE,
        CountryCode_BF,
        CountryCode_BG,
        CountryCode_BH,
        CountryCode_BI,
        CountryCode_BJ,
        CountryCode_BL,
        CountryCode_BM,
        CountryCode_BN,
        CountryCode_BO,
        CountryCode_BR,
        CountryCode_BS,
        CountryCode_BT,
        CountryCode_BW,
        CountryCode_BY,
        CountryCode_BZ,
        CountryCode_CA,
        CountryCode_CC,
        CountryCode_CD,
        CountryCode_CF,
        CountryCode_CG,
        CountryCode_CH,
        CountryCode_CI,
        CountryCode_CK,
        CountryCode_CL,
        CountryCode_CM,
        CountryCode_CN,
        CountryCode_CO,
        CountryCode_CR,
        CountryCode_CU,
        CountryCode_CV,
        CountryCode_CX,
        CountryCode_CY,
        CountryCode_CZ,
        CountryCode_DE,
        CountryCode_DJ,
        CountryCode_DK,
        CountryCode_DM,
        CountryCode_DO,
        CountryCode_DZ,
        CountryCode_EC,
        CountryCode_EE,
        CountryCode_EG,
        CountryCode_ER,
        CountryCode_ES,
        CountryCode_ET,
        CountryCode_FI,
        CountryCode_FJ,
        CountryCode_FK,
        CountryCode_FM,
        CountryCode_FO,
        CountryCode_FR,
        CountryCode_GA,
        CountryCode_GB,
        CountryCode_GD,
        CountryCode_GE,
        CountryCode_GH,
        CountryCode_GI,
        CountryCode_GL,
        CountryCode_GM,
        CountryCode_GN,
        CountryCode_GQ,
        CountryCode_GR,
        CountryCode_GT,
        CountryCode_GU,
        CountryCode_GW,
        CountryCode_GY,
        CountryCode_HK,
        CountryCode_HN,
        CountryCode_HR,
        CountryCode_HT,
        CountryCode_HU,
        CountryCode_ID,
        CountryCode_IE,
        CountryCode_IL,
        CountryCode_IM,
        CountryCode_IN,
        CountryCode_IQ,
        CountryCode_IR,
        CountryCode_IS,
        CountryCode_IT,
        CountryCode_JM,
        CountryCode_JO,
        CountryCode_JP,
        CountryCode_KE,
        CountryCode_KG,
        CountryCode_KH,
        CountryCode_KI,
        CountryCode_KM,
        CountryCode_KN,
        CountryCode_KP,
        CountryCode_KR,
        CountryCode_KW,
        CountryCode_KY,
        CountryCode_KZ,
        CountryCode_LA,
        CountryCode_LB,
        CountryCode_LC,
        CountryCode_LI,
        CountryCode_LK,
        CountryCode_LR,
        CountryCode_LS,
        CountryCode_LT,
        CountryCode_LU,
        CountryCode_LV,
        CountryCode_LY,
        CountryCode_MA,
        CountryCode_MC,
        CountryCode_MD,
        CountryCode_ME,
        CountryCode_MF,
        CountryCode_MG,
        CountryCode_MH,
        CountryCode_MK,
        CountryCode_ML,
        CountryCode_MM,
        CountryCode_MN,
        CountryCode_MO,
        CountryCode_MP,
        CountryCode_MR,
        CountryCode_MS,
        CountryCode_MT,
        CountryCode_MU,
        CountryCode_MV,
        CountryCode_MW,
        CountryCode_MX,
        CountryCode_MY,
        CountryCode_MZ,
        CountryCode_NA,
        CountryCode_NC,
        CountryCode_NE,
        CountryCode_NG,
        CountryCode_NI,
        CountryCode_NL,
        CountryCode_NO,
        CountryCode_NP,
        CountryCode_NR,
        CountryCode_NU,
        CountryCode_NZ,
        CountryCode_OM,
        CountryCode_PA,
        CountryCode_PE,
        CountryCode_PF,
        CountryCode_PG,
        CountryCode_PH,
        CountryCode_PK,
        CountryCode_PL,
        CountryCode_PM,
        CountryCode_PN,
        CountryCode_PR,
        CountryCode_PT,
        CountryCode_PW,
        CountryCode_PY,
        CountryCode_QA,
        CountryCode_RO,
        CountryCode_RS,
        CountryCode_RU,
        CountryCode_RW,
        CountryCode_SA,
        CountryCode_SB,
        CountryCode_SC,
        CountryCode_SD,
        CountryCode_SE,
        CountryCode_SG,
        CountryCode_SH,
        CountryCode_SI,
        CountryCode_SK,
        CountryCode_SL,
        CountryCode_SM,
        CountryCode_SN,
        CountryCode_SO,
        CountryCode_SR,
        CountryCode_ST,
        CountryCode_SV,
        CountryCode_SY,
        CountryCode_SZ,
        CountryCode_TC,
        CountryCode_TD,
        CountryCode_TG,
        CountryCode_TH,
        CountryCode_TJ,
        CountryCode_TK,
        CountryCode_TL,
        CountryCode_TM,
        CountryCode_TN,
        CountryCode_TO,
        CountryCode_TR,
        CountryCode_TT,
        CountryCode_TV,
        CountryCode_TW,
        CountryCode_TZ,
        CountryCode_UA,
        CountryCode_UG,
        CountryCode_US,
        CountryCode_UY,
        CountryCode_UZ,
        CountryCode_VA,
        CountryCode_VC,
        CountryCode_VE,
        CountryCode_VG,
        CountryCode_VI,
        CountryCode_VN,
        CountryCode_VU,
        CountryCode_WF,
        CountryCode_WS,
        CountryCode_YE,
        CountryCode_YT,
        CountryCode_ZA,
        CountryCode_ZM,
        CountryCode_ZW
      ),
  )
where

import qualified Amazonka.Core as Core
import qualified Amazonka.Prelude as Prelude

newtype CountryCode = CountryCode'
  { CountryCode -> Text
fromCountryCode ::
      Core.Text
  }
  deriving stock
    ( Int -> CountryCode -> ShowS
[CountryCode] -> ShowS
CountryCode -> String
(Int -> CountryCode -> ShowS)
-> (CountryCode -> String)
-> ([CountryCode] -> ShowS)
-> Show CountryCode
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [CountryCode] -> ShowS
$cshowList :: [CountryCode] -> ShowS
show :: CountryCode -> String
$cshow :: CountryCode -> String
showsPrec :: Int -> CountryCode -> ShowS
$cshowsPrec :: Int -> CountryCode -> ShowS
Prelude.Show,
      ReadPrec [CountryCode]
ReadPrec CountryCode
Int -> ReadS CountryCode
ReadS [CountryCode]
(Int -> ReadS CountryCode)
-> ReadS [CountryCode]
-> ReadPrec CountryCode
-> ReadPrec [CountryCode]
-> Read CountryCode
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
readListPrec :: ReadPrec [CountryCode]
$creadListPrec :: ReadPrec [CountryCode]
readPrec :: ReadPrec CountryCode
$creadPrec :: ReadPrec CountryCode
readList :: ReadS [CountryCode]
$creadList :: ReadS [CountryCode]
readsPrec :: Int -> ReadS CountryCode
$creadsPrec :: Int -> ReadS CountryCode
Prelude.Read,
      CountryCode -> CountryCode -> Bool
(CountryCode -> CountryCode -> Bool)
-> (CountryCode -> CountryCode -> Bool) -> Eq CountryCode
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: CountryCode -> CountryCode -> Bool
$c/= :: CountryCode -> CountryCode -> Bool
== :: CountryCode -> CountryCode -> Bool
$c== :: CountryCode -> CountryCode -> Bool
Prelude.Eq,
      Eq CountryCode
Eq CountryCode
-> (CountryCode -> CountryCode -> Ordering)
-> (CountryCode -> CountryCode -> Bool)
-> (CountryCode -> CountryCode -> Bool)
-> (CountryCode -> CountryCode -> Bool)
-> (CountryCode -> CountryCode -> Bool)
-> (CountryCode -> CountryCode -> CountryCode)
-> (CountryCode -> CountryCode -> CountryCode)
-> Ord CountryCode
CountryCode -> CountryCode -> Bool
CountryCode -> CountryCode -> Ordering
CountryCode -> CountryCode -> CountryCode
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: CountryCode -> CountryCode -> CountryCode
$cmin :: CountryCode -> CountryCode -> CountryCode
max :: CountryCode -> CountryCode -> CountryCode
$cmax :: CountryCode -> CountryCode -> CountryCode
>= :: CountryCode -> CountryCode -> Bool
$c>= :: CountryCode -> CountryCode -> Bool
> :: CountryCode -> CountryCode -> Bool
$c> :: CountryCode -> CountryCode -> Bool
<= :: CountryCode -> CountryCode -> Bool
$c<= :: CountryCode -> CountryCode -> Bool
< :: CountryCode -> CountryCode -> Bool
$c< :: CountryCode -> CountryCode -> Bool
compare :: CountryCode -> CountryCode -> Ordering
$ccompare :: CountryCode -> CountryCode -> Ordering
$cp1Ord :: Eq CountryCode
Prelude.Ord,
      (forall x. CountryCode -> Rep CountryCode x)
-> (forall x. Rep CountryCode x -> CountryCode)
-> Generic CountryCode
forall x. Rep CountryCode x -> CountryCode
forall x. CountryCode -> Rep CountryCode x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep CountryCode x -> CountryCode
$cfrom :: forall x. CountryCode -> Rep CountryCode x
Prelude.Generic
    )
  deriving newtype
    ( Int -> CountryCode -> Int
CountryCode -> Int
(Int -> CountryCode -> Int)
-> (CountryCode -> Int) -> Hashable CountryCode
forall a. (Int -> a -> Int) -> (a -> Int) -> Hashable a
hash :: CountryCode -> Int
$chash :: CountryCode -> Int
hashWithSalt :: Int -> CountryCode -> Int
$chashWithSalt :: Int -> CountryCode -> Int
Prelude.Hashable,
      CountryCode -> ()
(CountryCode -> ()) -> NFData CountryCode
forall a. (a -> ()) -> NFData a
rnf :: CountryCode -> ()
$crnf :: CountryCode -> ()
Prelude.NFData,
      Text -> Either String CountryCode
(Text -> Either String CountryCode) -> FromText CountryCode
forall a. (Text -> Either String a) -> FromText a
fromText :: Text -> Either String CountryCode
$cfromText :: Text -> Either String CountryCode
Core.FromText,
      CountryCode -> Text
(CountryCode -> Text) -> ToText CountryCode
forall a. (a -> Text) -> ToText a
toText :: CountryCode -> Text
$ctoText :: CountryCode -> Text
Core.ToText,
      CountryCode -> ByteString
(CountryCode -> ByteString) -> ToByteString CountryCode
forall a. (a -> ByteString) -> ToByteString a
toBS :: CountryCode -> ByteString
$ctoBS :: CountryCode -> ByteString
Core.ToByteString,
      CountryCode -> ByteStringBuilder
(CountryCode -> ByteStringBuilder) -> ToLog CountryCode
forall a. (a -> ByteStringBuilder) -> ToLog a
build :: CountryCode -> ByteStringBuilder
$cbuild :: CountryCode -> ByteStringBuilder
Core.ToLog,
      HeaderName -> CountryCode -> [Header]
(HeaderName -> CountryCode -> [Header]) -> ToHeader CountryCode
forall a. (HeaderName -> a -> [Header]) -> ToHeader a
toHeader :: HeaderName -> CountryCode -> [Header]
$ctoHeader :: HeaderName -> CountryCode -> [Header]
Core.ToHeader,
      CountryCode -> QueryString
(CountryCode -> QueryString) -> ToQuery CountryCode
forall a. (a -> QueryString) -> ToQuery a
toQuery :: CountryCode -> QueryString
$ctoQuery :: CountryCode -> QueryString
Core.ToQuery,
      Value -> Parser [CountryCode]
Value -> Parser CountryCode
(Value -> Parser CountryCode)
-> (Value -> Parser [CountryCode]) -> FromJSON CountryCode
forall a.
(Value -> Parser a) -> (Value -> Parser [a]) -> FromJSON a
parseJSONList :: Value -> Parser [CountryCode]
$cparseJSONList :: Value -> Parser [CountryCode]
parseJSON :: Value -> Parser CountryCode
$cparseJSON :: Value -> Parser CountryCode
Core.FromJSON,
      FromJSONKeyFunction [CountryCode]
FromJSONKeyFunction CountryCode
FromJSONKeyFunction CountryCode
-> FromJSONKeyFunction [CountryCode] -> FromJSONKey CountryCode
forall a.
FromJSONKeyFunction a -> FromJSONKeyFunction [a] -> FromJSONKey a
fromJSONKeyList :: FromJSONKeyFunction [CountryCode]
$cfromJSONKeyList :: FromJSONKeyFunction [CountryCode]
fromJSONKey :: FromJSONKeyFunction CountryCode
$cfromJSONKey :: FromJSONKeyFunction CountryCode
Core.FromJSONKey,
      [CountryCode] -> Encoding
[CountryCode] -> Value
CountryCode -> Encoding
CountryCode -> Value
(CountryCode -> Value)
-> (CountryCode -> Encoding)
-> ([CountryCode] -> Value)
-> ([CountryCode] -> Encoding)
-> ToJSON CountryCode
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> ToJSON a
toEncodingList :: [CountryCode] -> Encoding
$ctoEncodingList :: [CountryCode] -> Encoding
toJSONList :: [CountryCode] -> Value
$ctoJSONList :: [CountryCode] -> Value
toEncoding :: CountryCode -> Encoding
$ctoEncoding :: CountryCode -> Encoding
toJSON :: CountryCode -> Value
$ctoJSON :: CountryCode -> Value
Core.ToJSON,
      ToJSONKeyFunction [CountryCode]
ToJSONKeyFunction CountryCode
ToJSONKeyFunction CountryCode
-> ToJSONKeyFunction [CountryCode] -> ToJSONKey CountryCode
forall a.
ToJSONKeyFunction a -> ToJSONKeyFunction [a] -> ToJSONKey a
toJSONKeyList :: ToJSONKeyFunction [CountryCode]
$ctoJSONKeyList :: ToJSONKeyFunction [CountryCode]
toJSONKey :: ToJSONKeyFunction CountryCode
$ctoJSONKey :: ToJSONKeyFunction CountryCode
Core.ToJSONKey,
      [Node] -> Either String CountryCode
([Node] -> Either String CountryCode) -> FromXML CountryCode
forall a. ([Node] -> Either String a) -> FromXML a
parseXML :: [Node] -> Either String CountryCode
$cparseXML :: [Node] -> Either String CountryCode
Core.FromXML,
      CountryCode -> XML
(CountryCode -> XML) -> ToXML CountryCode
forall a. (a -> XML) -> ToXML a
toXML :: CountryCode -> XML
$ctoXML :: CountryCode -> XML
Core.ToXML
    )

pattern CountryCode_AD :: CountryCode
pattern $bCountryCode_AD :: CountryCode
$mCountryCode_AD :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_AD = CountryCode' "AD"

pattern CountryCode_AE :: CountryCode
pattern $bCountryCode_AE :: CountryCode
$mCountryCode_AE :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_AE = CountryCode' "AE"

pattern CountryCode_AF :: CountryCode
pattern $bCountryCode_AF :: CountryCode
$mCountryCode_AF :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_AF = CountryCode' "AF"

pattern CountryCode_AG :: CountryCode
pattern $bCountryCode_AG :: CountryCode
$mCountryCode_AG :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_AG = CountryCode' "AG"

pattern CountryCode_AI :: CountryCode
pattern $bCountryCode_AI :: CountryCode
$mCountryCode_AI :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_AI = CountryCode' "AI"

pattern CountryCode_AL :: CountryCode
pattern $bCountryCode_AL :: CountryCode
$mCountryCode_AL :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_AL = CountryCode' "AL"

pattern CountryCode_AM :: CountryCode
pattern $bCountryCode_AM :: CountryCode
$mCountryCode_AM :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_AM = CountryCode' "AM"

pattern CountryCode_AN :: CountryCode
pattern $bCountryCode_AN :: CountryCode
$mCountryCode_AN :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_AN = CountryCode' "AN"

pattern CountryCode_AO :: CountryCode
pattern $bCountryCode_AO :: CountryCode
$mCountryCode_AO :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_AO = CountryCode' "AO"

pattern CountryCode_AQ :: CountryCode
pattern $bCountryCode_AQ :: CountryCode
$mCountryCode_AQ :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_AQ = CountryCode' "AQ"

pattern CountryCode_AR :: CountryCode
pattern $bCountryCode_AR :: CountryCode
$mCountryCode_AR :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_AR = CountryCode' "AR"

pattern CountryCode_AS :: CountryCode
pattern $bCountryCode_AS :: CountryCode
$mCountryCode_AS :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_AS = CountryCode' "AS"

pattern CountryCode_AT :: CountryCode
pattern $bCountryCode_AT :: CountryCode
$mCountryCode_AT :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_AT = CountryCode' "AT"

pattern CountryCode_AU :: CountryCode
pattern $bCountryCode_AU :: CountryCode
$mCountryCode_AU :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_AU = CountryCode' "AU"

pattern CountryCode_AW :: CountryCode
pattern $bCountryCode_AW :: CountryCode
$mCountryCode_AW :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_AW = CountryCode' "AW"

pattern CountryCode_AZ :: CountryCode
pattern $bCountryCode_AZ :: CountryCode
$mCountryCode_AZ :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_AZ = CountryCode' "AZ"

pattern CountryCode_BA :: CountryCode
pattern $bCountryCode_BA :: CountryCode
$mCountryCode_BA :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_BA = CountryCode' "BA"

pattern CountryCode_BB :: CountryCode
pattern $bCountryCode_BB :: CountryCode
$mCountryCode_BB :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_BB = CountryCode' "BB"

pattern CountryCode_BD :: CountryCode
pattern $bCountryCode_BD :: CountryCode
$mCountryCode_BD :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_BD = CountryCode' "BD"

pattern CountryCode_BE :: CountryCode
pattern $bCountryCode_BE :: CountryCode
$mCountryCode_BE :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_BE = CountryCode' "BE"

pattern CountryCode_BF :: CountryCode
pattern $bCountryCode_BF :: CountryCode
$mCountryCode_BF :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_BF = CountryCode' "BF"

pattern CountryCode_BG :: CountryCode
pattern $bCountryCode_BG :: CountryCode
$mCountryCode_BG :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_BG = CountryCode' "BG"

pattern CountryCode_BH :: CountryCode
pattern $bCountryCode_BH :: CountryCode
$mCountryCode_BH :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_BH = CountryCode' "BH"

pattern CountryCode_BI :: CountryCode
pattern $bCountryCode_BI :: CountryCode
$mCountryCode_BI :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_BI = CountryCode' "BI"

pattern CountryCode_BJ :: CountryCode
pattern $bCountryCode_BJ :: CountryCode
$mCountryCode_BJ :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_BJ = CountryCode' "BJ"

pattern CountryCode_BL :: CountryCode
pattern $bCountryCode_BL :: CountryCode
$mCountryCode_BL :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_BL = CountryCode' "BL"

pattern CountryCode_BM :: CountryCode
pattern $bCountryCode_BM :: CountryCode
$mCountryCode_BM :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_BM = CountryCode' "BM"

pattern CountryCode_BN :: CountryCode
pattern $bCountryCode_BN :: CountryCode
$mCountryCode_BN :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_BN = CountryCode' "BN"

pattern CountryCode_BO :: CountryCode
pattern $bCountryCode_BO :: CountryCode
$mCountryCode_BO :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_BO = CountryCode' "BO"

pattern CountryCode_BR :: CountryCode
pattern $bCountryCode_BR :: CountryCode
$mCountryCode_BR :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_BR = CountryCode' "BR"

pattern CountryCode_BS :: CountryCode
pattern $bCountryCode_BS :: CountryCode
$mCountryCode_BS :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_BS = CountryCode' "BS"

pattern CountryCode_BT :: CountryCode
pattern $bCountryCode_BT :: CountryCode
$mCountryCode_BT :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_BT = CountryCode' "BT"

pattern CountryCode_BW :: CountryCode
pattern $bCountryCode_BW :: CountryCode
$mCountryCode_BW :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_BW = CountryCode' "BW"

pattern CountryCode_BY :: CountryCode
pattern $bCountryCode_BY :: CountryCode
$mCountryCode_BY :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_BY = CountryCode' "BY"

pattern CountryCode_BZ :: CountryCode
pattern $bCountryCode_BZ :: CountryCode
$mCountryCode_BZ :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_BZ = CountryCode' "BZ"

pattern CountryCode_CA :: CountryCode
pattern $bCountryCode_CA :: CountryCode
$mCountryCode_CA :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_CA = CountryCode' "CA"

pattern CountryCode_CC :: CountryCode
pattern $bCountryCode_CC :: CountryCode
$mCountryCode_CC :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_CC = CountryCode' "CC"

pattern CountryCode_CD :: CountryCode
pattern $bCountryCode_CD :: CountryCode
$mCountryCode_CD :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_CD = CountryCode' "CD"

pattern CountryCode_CF :: CountryCode
pattern $bCountryCode_CF :: CountryCode
$mCountryCode_CF :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_CF = CountryCode' "CF"

pattern CountryCode_CG :: CountryCode
pattern $bCountryCode_CG :: CountryCode
$mCountryCode_CG :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_CG = CountryCode' "CG"

pattern CountryCode_CH :: CountryCode
pattern $bCountryCode_CH :: CountryCode
$mCountryCode_CH :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_CH = CountryCode' "CH"

pattern CountryCode_CI :: CountryCode
pattern $bCountryCode_CI :: CountryCode
$mCountryCode_CI :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_CI = CountryCode' "CI"

pattern CountryCode_CK :: CountryCode
pattern $bCountryCode_CK :: CountryCode
$mCountryCode_CK :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_CK = CountryCode' "CK"

pattern CountryCode_CL :: CountryCode
pattern $bCountryCode_CL :: CountryCode
$mCountryCode_CL :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_CL = CountryCode' "CL"

pattern CountryCode_CM :: CountryCode
pattern $bCountryCode_CM :: CountryCode
$mCountryCode_CM :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_CM = CountryCode' "CM"

pattern CountryCode_CN :: CountryCode
pattern $bCountryCode_CN :: CountryCode
$mCountryCode_CN :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_CN = CountryCode' "CN"

pattern CountryCode_CO :: CountryCode
pattern $bCountryCode_CO :: CountryCode
$mCountryCode_CO :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_CO = CountryCode' "CO"

pattern CountryCode_CR :: CountryCode
pattern $bCountryCode_CR :: CountryCode
$mCountryCode_CR :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_CR = CountryCode' "CR"

pattern CountryCode_CU :: CountryCode
pattern $bCountryCode_CU :: CountryCode
$mCountryCode_CU :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_CU = CountryCode' "CU"

pattern CountryCode_CV :: CountryCode
pattern $bCountryCode_CV :: CountryCode
$mCountryCode_CV :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_CV = CountryCode' "CV"

pattern CountryCode_CX :: CountryCode
pattern $bCountryCode_CX :: CountryCode
$mCountryCode_CX :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_CX = CountryCode' "CX"

pattern CountryCode_CY :: CountryCode
pattern $bCountryCode_CY :: CountryCode
$mCountryCode_CY :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_CY = CountryCode' "CY"

pattern CountryCode_CZ :: CountryCode
pattern $bCountryCode_CZ :: CountryCode
$mCountryCode_CZ :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_CZ = CountryCode' "CZ"

pattern CountryCode_DE :: CountryCode
pattern $bCountryCode_DE :: CountryCode
$mCountryCode_DE :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_DE = CountryCode' "DE"

pattern CountryCode_DJ :: CountryCode
pattern $bCountryCode_DJ :: CountryCode
$mCountryCode_DJ :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_DJ = CountryCode' "DJ"

pattern CountryCode_DK :: CountryCode
pattern $bCountryCode_DK :: CountryCode
$mCountryCode_DK :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_DK = CountryCode' "DK"

pattern CountryCode_DM :: CountryCode
pattern $bCountryCode_DM :: CountryCode
$mCountryCode_DM :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_DM = CountryCode' "DM"

pattern CountryCode_DO :: CountryCode
pattern $bCountryCode_DO :: CountryCode
$mCountryCode_DO :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_DO = CountryCode' "DO"

pattern CountryCode_DZ :: CountryCode
pattern $bCountryCode_DZ :: CountryCode
$mCountryCode_DZ :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_DZ = CountryCode' "DZ"

pattern CountryCode_EC :: CountryCode
pattern $bCountryCode_EC :: CountryCode
$mCountryCode_EC :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_EC = CountryCode' "EC"

pattern CountryCode_EE :: CountryCode
pattern $bCountryCode_EE :: CountryCode
$mCountryCode_EE :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_EE = CountryCode' "EE"

pattern CountryCode_EG :: CountryCode
pattern $bCountryCode_EG :: CountryCode
$mCountryCode_EG :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_EG = CountryCode' "EG"

pattern CountryCode_ER :: CountryCode
pattern $bCountryCode_ER :: CountryCode
$mCountryCode_ER :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_ER = CountryCode' "ER"

pattern CountryCode_ES :: CountryCode
pattern $bCountryCode_ES :: CountryCode
$mCountryCode_ES :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_ES = CountryCode' "ES"

pattern CountryCode_ET :: CountryCode
pattern $bCountryCode_ET :: CountryCode
$mCountryCode_ET :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_ET = CountryCode' "ET"

pattern CountryCode_FI :: CountryCode
pattern $bCountryCode_FI :: CountryCode
$mCountryCode_FI :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_FI = CountryCode' "FI"

pattern CountryCode_FJ :: CountryCode
pattern $bCountryCode_FJ :: CountryCode
$mCountryCode_FJ :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_FJ = CountryCode' "FJ"

pattern CountryCode_FK :: CountryCode
pattern $bCountryCode_FK :: CountryCode
$mCountryCode_FK :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_FK = CountryCode' "FK"

pattern CountryCode_FM :: CountryCode
pattern $bCountryCode_FM :: CountryCode
$mCountryCode_FM :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_FM = CountryCode' "FM"

pattern CountryCode_FO :: CountryCode
pattern $bCountryCode_FO :: CountryCode
$mCountryCode_FO :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_FO = CountryCode' "FO"

pattern CountryCode_FR :: CountryCode
pattern $bCountryCode_FR :: CountryCode
$mCountryCode_FR :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_FR = CountryCode' "FR"

pattern CountryCode_GA :: CountryCode
pattern $bCountryCode_GA :: CountryCode
$mCountryCode_GA :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_GA = CountryCode' "GA"

pattern CountryCode_GB :: CountryCode
pattern $bCountryCode_GB :: CountryCode
$mCountryCode_GB :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_GB = CountryCode' "GB"

pattern CountryCode_GD :: CountryCode
pattern $bCountryCode_GD :: CountryCode
$mCountryCode_GD :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_GD = CountryCode' "GD"

pattern CountryCode_GE :: CountryCode
pattern $bCountryCode_GE :: CountryCode
$mCountryCode_GE :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_GE = CountryCode' "GE"

pattern CountryCode_GH :: CountryCode
pattern $bCountryCode_GH :: CountryCode
$mCountryCode_GH :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_GH = CountryCode' "GH"

pattern CountryCode_GI :: CountryCode
pattern $bCountryCode_GI :: CountryCode
$mCountryCode_GI :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_GI = CountryCode' "GI"

pattern CountryCode_GL :: CountryCode
pattern $bCountryCode_GL :: CountryCode
$mCountryCode_GL :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_GL = CountryCode' "GL"

pattern CountryCode_GM :: CountryCode
pattern $bCountryCode_GM :: CountryCode
$mCountryCode_GM :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_GM = CountryCode' "GM"

pattern CountryCode_GN :: CountryCode
pattern $bCountryCode_GN :: CountryCode
$mCountryCode_GN :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_GN = CountryCode' "GN"

pattern CountryCode_GQ :: CountryCode
pattern $bCountryCode_GQ :: CountryCode
$mCountryCode_GQ :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_GQ = CountryCode' "GQ"

pattern CountryCode_GR :: CountryCode
pattern $bCountryCode_GR :: CountryCode
$mCountryCode_GR :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_GR = CountryCode' "GR"

pattern CountryCode_GT :: CountryCode
pattern $bCountryCode_GT :: CountryCode
$mCountryCode_GT :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_GT = CountryCode' "GT"

pattern CountryCode_GU :: CountryCode
pattern $bCountryCode_GU :: CountryCode
$mCountryCode_GU :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_GU = CountryCode' "GU"

pattern CountryCode_GW :: CountryCode
pattern $bCountryCode_GW :: CountryCode
$mCountryCode_GW :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_GW = CountryCode' "GW"

pattern CountryCode_GY :: CountryCode
pattern $bCountryCode_GY :: CountryCode
$mCountryCode_GY :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_GY = CountryCode' "GY"

pattern CountryCode_HK :: CountryCode
pattern $bCountryCode_HK :: CountryCode
$mCountryCode_HK :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_HK = CountryCode' "HK"

pattern CountryCode_HN :: CountryCode
pattern $bCountryCode_HN :: CountryCode
$mCountryCode_HN :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_HN = CountryCode' "HN"

pattern CountryCode_HR :: CountryCode
pattern $bCountryCode_HR :: CountryCode
$mCountryCode_HR :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_HR = CountryCode' "HR"

pattern CountryCode_HT :: CountryCode
pattern $bCountryCode_HT :: CountryCode
$mCountryCode_HT :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_HT = CountryCode' "HT"

pattern CountryCode_HU :: CountryCode
pattern $bCountryCode_HU :: CountryCode
$mCountryCode_HU :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_HU = CountryCode' "HU"

pattern CountryCode_ID :: CountryCode
pattern $bCountryCode_ID :: CountryCode
$mCountryCode_ID :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_ID = CountryCode' "ID"

pattern CountryCode_IE :: CountryCode
pattern $bCountryCode_IE :: CountryCode
$mCountryCode_IE :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_IE = CountryCode' "IE"

pattern CountryCode_IL :: CountryCode
pattern $bCountryCode_IL :: CountryCode
$mCountryCode_IL :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_IL = CountryCode' "IL"

pattern CountryCode_IM :: CountryCode
pattern $bCountryCode_IM :: CountryCode
$mCountryCode_IM :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_IM = CountryCode' "IM"

pattern CountryCode_IN :: CountryCode
pattern $bCountryCode_IN :: CountryCode
$mCountryCode_IN :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_IN = CountryCode' "IN"

pattern CountryCode_IQ :: CountryCode
pattern $bCountryCode_IQ :: CountryCode
$mCountryCode_IQ :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_IQ = CountryCode' "IQ"

pattern CountryCode_IR :: CountryCode
pattern $bCountryCode_IR :: CountryCode
$mCountryCode_IR :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_IR = CountryCode' "IR"

pattern CountryCode_IS :: CountryCode
pattern $bCountryCode_IS :: CountryCode
$mCountryCode_IS :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_IS = CountryCode' "IS"

pattern CountryCode_IT :: CountryCode
pattern $bCountryCode_IT :: CountryCode
$mCountryCode_IT :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_IT = CountryCode' "IT"

pattern CountryCode_JM :: CountryCode
pattern $bCountryCode_JM :: CountryCode
$mCountryCode_JM :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_JM = CountryCode' "JM"

pattern CountryCode_JO :: CountryCode
pattern $bCountryCode_JO :: CountryCode
$mCountryCode_JO :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_JO = CountryCode' "JO"

pattern CountryCode_JP :: CountryCode
pattern $bCountryCode_JP :: CountryCode
$mCountryCode_JP :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_JP = CountryCode' "JP"

pattern CountryCode_KE :: CountryCode
pattern $bCountryCode_KE :: CountryCode
$mCountryCode_KE :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_KE = CountryCode' "KE"

pattern CountryCode_KG :: CountryCode
pattern $bCountryCode_KG :: CountryCode
$mCountryCode_KG :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_KG = CountryCode' "KG"

pattern CountryCode_KH :: CountryCode
pattern $bCountryCode_KH :: CountryCode
$mCountryCode_KH :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_KH = CountryCode' "KH"

pattern CountryCode_KI :: CountryCode
pattern $bCountryCode_KI :: CountryCode
$mCountryCode_KI :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_KI = CountryCode' "KI"

pattern CountryCode_KM :: CountryCode
pattern $bCountryCode_KM :: CountryCode
$mCountryCode_KM :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_KM = CountryCode' "KM"

pattern CountryCode_KN :: CountryCode
pattern $bCountryCode_KN :: CountryCode
$mCountryCode_KN :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_KN = CountryCode' "KN"

pattern CountryCode_KP :: CountryCode
pattern $bCountryCode_KP :: CountryCode
$mCountryCode_KP :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_KP = CountryCode' "KP"

pattern CountryCode_KR :: CountryCode
pattern $bCountryCode_KR :: CountryCode
$mCountryCode_KR :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_KR = CountryCode' "KR"

pattern CountryCode_KW :: CountryCode
pattern $bCountryCode_KW :: CountryCode
$mCountryCode_KW :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_KW = CountryCode' "KW"

pattern CountryCode_KY :: CountryCode
pattern $bCountryCode_KY :: CountryCode
$mCountryCode_KY :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_KY = CountryCode' "KY"

pattern CountryCode_KZ :: CountryCode
pattern $bCountryCode_KZ :: CountryCode
$mCountryCode_KZ :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_KZ = CountryCode' "KZ"

pattern CountryCode_LA :: CountryCode
pattern $bCountryCode_LA :: CountryCode
$mCountryCode_LA :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_LA = CountryCode' "LA"

pattern CountryCode_LB :: CountryCode
pattern $bCountryCode_LB :: CountryCode
$mCountryCode_LB :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_LB = CountryCode' "LB"

pattern CountryCode_LC :: CountryCode
pattern $bCountryCode_LC :: CountryCode
$mCountryCode_LC :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_LC = CountryCode' "LC"

pattern CountryCode_LI :: CountryCode
pattern $bCountryCode_LI :: CountryCode
$mCountryCode_LI :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_LI = CountryCode' "LI"

pattern CountryCode_LK :: CountryCode
pattern $bCountryCode_LK :: CountryCode
$mCountryCode_LK :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_LK = CountryCode' "LK"

pattern CountryCode_LR :: CountryCode
pattern $bCountryCode_LR :: CountryCode
$mCountryCode_LR :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_LR = CountryCode' "LR"

pattern CountryCode_LS :: CountryCode
pattern $bCountryCode_LS :: CountryCode
$mCountryCode_LS :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_LS = CountryCode' "LS"

pattern CountryCode_LT :: CountryCode
pattern $bCountryCode_LT :: CountryCode
$mCountryCode_LT :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_LT = CountryCode' "LT"

pattern CountryCode_LU :: CountryCode
pattern $bCountryCode_LU :: CountryCode
$mCountryCode_LU :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_LU = CountryCode' "LU"

pattern CountryCode_LV :: CountryCode
pattern $bCountryCode_LV :: CountryCode
$mCountryCode_LV :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_LV = CountryCode' "LV"

pattern CountryCode_LY :: CountryCode
pattern $bCountryCode_LY :: CountryCode
$mCountryCode_LY :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_LY = CountryCode' "LY"

pattern CountryCode_MA :: CountryCode
pattern $bCountryCode_MA :: CountryCode
$mCountryCode_MA :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_MA = CountryCode' "MA"

pattern CountryCode_MC :: CountryCode
pattern $bCountryCode_MC :: CountryCode
$mCountryCode_MC :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_MC = CountryCode' "MC"

pattern CountryCode_MD :: CountryCode
pattern $bCountryCode_MD :: CountryCode
$mCountryCode_MD :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_MD = CountryCode' "MD"

pattern CountryCode_ME :: CountryCode
pattern $bCountryCode_ME :: CountryCode
$mCountryCode_ME :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_ME = CountryCode' "ME"

pattern CountryCode_MF :: CountryCode
pattern $bCountryCode_MF :: CountryCode
$mCountryCode_MF :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_MF = CountryCode' "MF"

pattern CountryCode_MG :: CountryCode
pattern $bCountryCode_MG :: CountryCode
$mCountryCode_MG :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_MG = CountryCode' "MG"

pattern CountryCode_MH :: CountryCode
pattern $bCountryCode_MH :: CountryCode
$mCountryCode_MH :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_MH = CountryCode' "MH"

pattern CountryCode_MK :: CountryCode
pattern $bCountryCode_MK :: CountryCode
$mCountryCode_MK :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_MK = CountryCode' "MK"

pattern CountryCode_ML :: CountryCode
pattern $bCountryCode_ML :: CountryCode
$mCountryCode_ML :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_ML = CountryCode' "ML"

pattern CountryCode_MM :: CountryCode
pattern $bCountryCode_MM :: CountryCode
$mCountryCode_MM :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_MM = CountryCode' "MM"

pattern CountryCode_MN :: CountryCode
pattern $bCountryCode_MN :: CountryCode
$mCountryCode_MN :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_MN = CountryCode' "MN"

pattern CountryCode_MO :: CountryCode
pattern $bCountryCode_MO :: CountryCode
$mCountryCode_MO :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_MO = CountryCode' "MO"

pattern CountryCode_MP :: CountryCode
pattern $bCountryCode_MP :: CountryCode
$mCountryCode_MP :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_MP = CountryCode' "MP"

pattern CountryCode_MR :: CountryCode
pattern $bCountryCode_MR :: CountryCode
$mCountryCode_MR :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_MR = CountryCode' "MR"

pattern CountryCode_MS :: CountryCode
pattern $bCountryCode_MS :: CountryCode
$mCountryCode_MS :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_MS = CountryCode' "MS"

pattern CountryCode_MT :: CountryCode
pattern $bCountryCode_MT :: CountryCode
$mCountryCode_MT :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_MT = CountryCode' "MT"

pattern CountryCode_MU :: CountryCode
pattern $bCountryCode_MU :: CountryCode
$mCountryCode_MU :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_MU = CountryCode' "MU"

pattern CountryCode_MV :: CountryCode
pattern $bCountryCode_MV :: CountryCode
$mCountryCode_MV :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_MV = CountryCode' "MV"

pattern CountryCode_MW :: CountryCode
pattern $bCountryCode_MW :: CountryCode
$mCountryCode_MW :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_MW = CountryCode' "MW"

pattern CountryCode_MX :: CountryCode
pattern $bCountryCode_MX :: CountryCode
$mCountryCode_MX :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_MX = CountryCode' "MX"

pattern CountryCode_MY :: CountryCode
pattern $bCountryCode_MY :: CountryCode
$mCountryCode_MY :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_MY = CountryCode' "MY"

pattern CountryCode_MZ :: CountryCode
pattern $bCountryCode_MZ :: CountryCode
$mCountryCode_MZ :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_MZ = CountryCode' "MZ"

pattern CountryCode_NA :: CountryCode
pattern $bCountryCode_NA :: CountryCode
$mCountryCode_NA :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_NA = CountryCode' "NA"

pattern CountryCode_NC :: CountryCode
pattern $bCountryCode_NC :: CountryCode
$mCountryCode_NC :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_NC = CountryCode' "NC"

pattern CountryCode_NE :: CountryCode
pattern $bCountryCode_NE :: CountryCode
$mCountryCode_NE :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_NE = CountryCode' "NE"

pattern CountryCode_NG :: CountryCode
pattern $bCountryCode_NG :: CountryCode
$mCountryCode_NG :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_NG = CountryCode' "NG"

pattern CountryCode_NI :: CountryCode
pattern $bCountryCode_NI :: CountryCode
$mCountryCode_NI :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_NI = CountryCode' "NI"

pattern CountryCode_NL :: CountryCode
pattern $bCountryCode_NL :: CountryCode
$mCountryCode_NL :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_NL = CountryCode' "NL"

pattern CountryCode_NO :: CountryCode
pattern $bCountryCode_NO :: CountryCode
$mCountryCode_NO :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_NO = CountryCode' "NO"

pattern CountryCode_NP :: CountryCode
pattern $bCountryCode_NP :: CountryCode
$mCountryCode_NP :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_NP = CountryCode' "NP"

pattern CountryCode_NR :: CountryCode
pattern $bCountryCode_NR :: CountryCode
$mCountryCode_NR :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_NR = CountryCode' "NR"

pattern CountryCode_NU :: CountryCode
pattern $bCountryCode_NU :: CountryCode
$mCountryCode_NU :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_NU = CountryCode' "NU"

pattern CountryCode_NZ :: CountryCode
pattern $bCountryCode_NZ :: CountryCode
$mCountryCode_NZ :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_NZ = CountryCode' "NZ"

pattern CountryCode_OM :: CountryCode
pattern $bCountryCode_OM :: CountryCode
$mCountryCode_OM :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_OM = CountryCode' "OM"

pattern CountryCode_PA :: CountryCode
pattern $bCountryCode_PA :: CountryCode
$mCountryCode_PA :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_PA = CountryCode' "PA"

pattern CountryCode_PE :: CountryCode
pattern $bCountryCode_PE :: CountryCode
$mCountryCode_PE :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_PE = CountryCode' "PE"

pattern CountryCode_PF :: CountryCode
pattern $bCountryCode_PF :: CountryCode
$mCountryCode_PF :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_PF = CountryCode' "PF"

pattern CountryCode_PG :: CountryCode
pattern $bCountryCode_PG :: CountryCode
$mCountryCode_PG :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_PG = CountryCode' "PG"

pattern CountryCode_PH :: CountryCode
pattern $bCountryCode_PH :: CountryCode
$mCountryCode_PH :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_PH = CountryCode' "PH"

pattern CountryCode_PK :: CountryCode
pattern $bCountryCode_PK :: CountryCode
$mCountryCode_PK :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_PK = CountryCode' "PK"

pattern CountryCode_PL :: CountryCode
pattern $bCountryCode_PL :: CountryCode
$mCountryCode_PL :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_PL = CountryCode' "PL"

pattern CountryCode_PM :: CountryCode
pattern $bCountryCode_PM :: CountryCode
$mCountryCode_PM :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_PM = CountryCode' "PM"

pattern CountryCode_PN :: CountryCode
pattern $bCountryCode_PN :: CountryCode
$mCountryCode_PN :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_PN = CountryCode' "PN"

pattern CountryCode_PR :: CountryCode
pattern $bCountryCode_PR :: CountryCode
$mCountryCode_PR :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_PR = CountryCode' "PR"

pattern CountryCode_PT :: CountryCode
pattern $bCountryCode_PT :: CountryCode
$mCountryCode_PT :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_PT = CountryCode' "PT"

pattern CountryCode_PW :: CountryCode
pattern $bCountryCode_PW :: CountryCode
$mCountryCode_PW :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_PW = CountryCode' "PW"

pattern CountryCode_PY :: CountryCode
pattern $bCountryCode_PY :: CountryCode
$mCountryCode_PY :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_PY = CountryCode' "PY"

pattern CountryCode_QA :: CountryCode
pattern $bCountryCode_QA :: CountryCode
$mCountryCode_QA :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_QA = CountryCode' "QA"

pattern CountryCode_RO :: CountryCode
pattern $bCountryCode_RO :: CountryCode
$mCountryCode_RO :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_RO = CountryCode' "RO"

pattern CountryCode_RS :: CountryCode
pattern $bCountryCode_RS :: CountryCode
$mCountryCode_RS :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_RS = CountryCode' "RS"

pattern CountryCode_RU :: CountryCode
pattern $bCountryCode_RU :: CountryCode
$mCountryCode_RU :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_RU = CountryCode' "RU"

pattern CountryCode_RW :: CountryCode
pattern $bCountryCode_RW :: CountryCode
$mCountryCode_RW :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_RW = CountryCode' "RW"

pattern CountryCode_SA :: CountryCode
pattern $bCountryCode_SA :: CountryCode
$mCountryCode_SA :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_SA = CountryCode' "SA"

pattern CountryCode_SB :: CountryCode
pattern $bCountryCode_SB :: CountryCode
$mCountryCode_SB :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_SB = CountryCode' "SB"

pattern CountryCode_SC :: CountryCode
pattern $bCountryCode_SC :: CountryCode
$mCountryCode_SC :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_SC = CountryCode' "SC"

pattern CountryCode_SD :: CountryCode
pattern $bCountryCode_SD :: CountryCode
$mCountryCode_SD :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_SD = CountryCode' "SD"

pattern CountryCode_SE :: CountryCode
pattern $bCountryCode_SE :: CountryCode
$mCountryCode_SE :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_SE = CountryCode' "SE"

pattern CountryCode_SG :: CountryCode
pattern $bCountryCode_SG :: CountryCode
$mCountryCode_SG :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_SG = CountryCode' "SG"

pattern CountryCode_SH :: CountryCode
pattern $bCountryCode_SH :: CountryCode
$mCountryCode_SH :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_SH = CountryCode' "SH"

pattern CountryCode_SI :: CountryCode
pattern $bCountryCode_SI :: CountryCode
$mCountryCode_SI :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_SI = CountryCode' "SI"

pattern CountryCode_SK :: CountryCode
pattern $bCountryCode_SK :: CountryCode
$mCountryCode_SK :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_SK = CountryCode' "SK"

pattern CountryCode_SL :: CountryCode
pattern $bCountryCode_SL :: CountryCode
$mCountryCode_SL :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_SL = CountryCode' "SL"

pattern CountryCode_SM :: CountryCode
pattern $bCountryCode_SM :: CountryCode
$mCountryCode_SM :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_SM = CountryCode' "SM"

pattern CountryCode_SN :: CountryCode
pattern $bCountryCode_SN :: CountryCode
$mCountryCode_SN :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_SN = CountryCode' "SN"

pattern CountryCode_SO :: CountryCode
pattern $bCountryCode_SO :: CountryCode
$mCountryCode_SO :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_SO = CountryCode' "SO"

pattern CountryCode_SR :: CountryCode
pattern $bCountryCode_SR :: CountryCode
$mCountryCode_SR :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_SR = CountryCode' "SR"

pattern CountryCode_ST :: CountryCode
pattern $bCountryCode_ST :: CountryCode
$mCountryCode_ST :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_ST = CountryCode' "ST"

pattern CountryCode_SV :: CountryCode
pattern $bCountryCode_SV :: CountryCode
$mCountryCode_SV :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_SV = CountryCode' "SV"

pattern CountryCode_SY :: CountryCode
pattern $bCountryCode_SY :: CountryCode
$mCountryCode_SY :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_SY = CountryCode' "SY"

pattern CountryCode_SZ :: CountryCode
pattern $bCountryCode_SZ :: CountryCode
$mCountryCode_SZ :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_SZ = CountryCode' "SZ"

pattern CountryCode_TC :: CountryCode
pattern $bCountryCode_TC :: CountryCode
$mCountryCode_TC :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_TC = CountryCode' "TC"

pattern CountryCode_TD :: CountryCode
pattern $bCountryCode_TD :: CountryCode
$mCountryCode_TD :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_TD = CountryCode' "TD"

pattern CountryCode_TG :: CountryCode
pattern $bCountryCode_TG :: CountryCode
$mCountryCode_TG :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_TG = CountryCode' "TG"

pattern CountryCode_TH :: CountryCode
pattern $bCountryCode_TH :: CountryCode
$mCountryCode_TH :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_TH = CountryCode' "TH"

pattern CountryCode_TJ :: CountryCode
pattern $bCountryCode_TJ :: CountryCode
$mCountryCode_TJ :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_TJ = CountryCode' "TJ"

pattern CountryCode_TK :: CountryCode
pattern $bCountryCode_TK :: CountryCode
$mCountryCode_TK :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_TK = CountryCode' "TK"

pattern CountryCode_TL :: CountryCode
pattern $bCountryCode_TL :: CountryCode
$mCountryCode_TL :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_TL = CountryCode' "TL"

pattern CountryCode_TM :: CountryCode
pattern $bCountryCode_TM :: CountryCode
$mCountryCode_TM :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_TM = CountryCode' "TM"

pattern CountryCode_TN :: CountryCode
pattern $bCountryCode_TN :: CountryCode
$mCountryCode_TN :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_TN = CountryCode' "TN"

pattern CountryCode_TO :: CountryCode
pattern $bCountryCode_TO :: CountryCode
$mCountryCode_TO :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_TO = CountryCode' "TO"

pattern CountryCode_TR :: CountryCode
pattern $bCountryCode_TR :: CountryCode
$mCountryCode_TR :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_TR = CountryCode' "TR"

pattern CountryCode_TT :: CountryCode
pattern $bCountryCode_TT :: CountryCode
$mCountryCode_TT :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_TT = CountryCode' "TT"

pattern CountryCode_TV :: CountryCode
pattern $bCountryCode_TV :: CountryCode
$mCountryCode_TV :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_TV = CountryCode' "TV"

pattern CountryCode_TW :: CountryCode
pattern $bCountryCode_TW :: CountryCode
$mCountryCode_TW :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_TW = CountryCode' "TW"

pattern CountryCode_TZ :: CountryCode
pattern $bCountryCode_TZ :: CountryCode
$mCountryCode_TZ :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_TZ = CountryCode' "TZ"

pattern CountryCode_UA :: CountryCode
pattern $bCountryCode_UA :: CountryCode
$mCountryCode_UA :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_UA = CountryCode' "UA"

pattern CountryCode_UG :: CountryCode
pattern $bCountryCode_UG :: CountryCode
$mCountryCode_UG :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_UG = CountryCode' "UG"

pattern CountryCode_US :: CountryCode
pattern $bCountryCode_US :: CountryCode
$mCountryCode_US :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_US = CountryCode' "US"

pattern CountryCode_UY :: CountryCode
pattern $bCountryCode_UY :: CountryCode
$mCountryCode_UY :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_UY = CountryCode' "UY"

pattern CountryCode_UZ :: CountryCode
pattern $bCountryCode_UZ :: CountryCode
$mCountryCode_UZ :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_UZ = CountryCode' "UZ"

pattern CountryCode_VA :: CountryCode
pattern $bCountryCode_VA :: CountryCode
$mCountryCode_VA :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_VA = CountryCode' "VA"

pattern CountryCode_VC :: CountryCode
pattern $bCountryCode_VC :: CountryCode
$mCountryCode_VC :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_VC = CountryCode' "VC"

pattern CountryCode_VE :: CountryCode
pattern $bCountryCode_VE :: CountryCode
$mCountryCode_VE :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_VE = CountryCode' "VE"

pattern CountryCode_VG :: CountryCode
pattern $bCountryCode_VG :: CountryCode
$mCountryCode_VG :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_VG = CountryCode' "VG"

pattern CountryCode_VI :: CountryCode
pattern $bCountryCode_VI :: CountryCode
$mCountryCode_VI :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_VI = CountryCode' "VI"

pattern CountryCode_VN :: CountryCode
pattern $bCountryCode_VN :: CountryCode
$mCountryCode_VN :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_VN = CountryCode' "VN"

pattern CountryCode_VU :: CountryCode
pattern $bCountryCode_VU :: CountryCode
$mCountryCode_VU :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_VU = CountryCode' "VU"

pattern CountryCode_WF :: CountryCode
pattern $bCountryCode_WF :: CountryCode
$mCountryCode_WF :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_WF = CountryCode' "WF"

pattern CountryCode_WS :: CountryCode
pattern $bCountryCode_WS :: CountryCode
$mCountryCode_WS :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_WS = CountryCode' "WS"

pattern CountryCode_YE :: CountryCode
pattern $bCountryCode_YE :: CountryCode
$mCountryCode_YE :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_YE = CountryCode' "YE"

pattern CountryCode_YT :: CountryCode
pattern $bCountryCode_YT :: CountryCode
$mCountryCode_YT :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_YT = CountryCode' "YT"

pattern CountryCode_ZA :: CountryCode
pattern $bCountryCode_ZA :: CountryCode
$mCountryCode_ZA :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_ZA = CountryCode' "ZA"

pattern CountryCode_ZM :: CountryCode
pattern $bCountryCode_ZM :: CountryCode
$mCountryCode_ZM :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_ZM = CountryCode' "ZM"

pattern CountryCode_ZW :: CountryCode
pattern $bCountryCode_ZW :: CountryCode
$mCountryCode_ZW :: forall r. CountryCode -> (Void# -> r) -> (Void# -> r) -> r
CountryCode_ZW = CountryCode' "ZW"

{-# COMPLETE
  CountryCode_AD,
  CountryCode_AE,
  CountryCode_AF,
  CountryCode_AG,
  CountryCode_AI,
  CountryCode_AL,
  CountryCode_AM,
  CountryCode_AN,
  CountryCode_AO,
  CountryCode_AQ,
  CountryCode_AR,
  CountryCode_AS,
  CountryCode_AT,
  CountryCode_AU,
  CountryCode_AW,
  CountryCode_AZ,
  CountryCode_BA,
  CountryCode_BB,
  CountryCode_BD,
  CountryCode_BE,
  CountryCode_BF,
  CountryCode_BG,
  CountryCode_BH,
  CountryCode_BI,
  CountryCode_BJ,
  CountryCode_BL,
  CountryCode_BM,
  CountryCode_BN,
  CountryCode_BO,
  CountryCode_BR,
  CountryCode_BS,
  CountryCode_BT,
  CountryCode_BW,
  CountryCode_BY,
  CountryCode_BZ,
  CountryCode_CA,
  CountryCode_CC,
  CountryCode_CD,
  CountryCode_CF,
  CountryCode_CG,
  CountryCode_CH,
  CountryCode_CI,
  CountryCode_CK,
  CountryCode_CL,
  CountryCode_CM,
  CountryCode_CN,
  CountryCode_CO,
  CountryCode_CR,
  CountryCode_CU,
  CountryCode_CV,
  CountryCode_CX,
  CountryCode_CY,
  CountryCode_CZ,
  CountryCode_DE,
  CountryCode_DJ,
  CountryCode_DK,
  CountryCode_DM,
  CountryCode_DO,
  CountryCode_DZ,
  CountryCode_EC,
  CountryCode_EE,
  CountryCode_EG,
  CountryCode_ER,
  CountryCode_ES,
  CountryCode_ET,
  CountryCode_FI,
  CountryCode_FJ,
  CountryCode_FK,
  CountryCode_FM,
  CountryCode_FO,
  CountryCode_FR,
  CountryCode_GA,
  CountryCode_GB,
  CountryCode_GD,
  CountryCode_GE,
  CountryCode_GH,
  CountryCode_GI,
  CountryCode_GL,
  CountryCode_GM,
  CountryCode_GN,
  CountryCode_GQ,
  CountryCode_GR,
  CountryCode_GT,
  CountryCode_GU,
  CountryCode_GW,
  CountryCode_GY,
  CountryCode_HK,
  CountryCode_HN,
  CountryCode_HR,
  CountryCode_HT,
  CountryCode_HU,
  CountryCode_ID,
  CountryCode_IE,
  CountryCode_IL,
  CountryCode_IM,
  CountryCode_IN,
  CountryCode_IQ,
  CountryCode_IR,
  CountryCode_IS,
  CountryCode_IT,
  CountryCode_JM,
  CountryCode_JO,
  CountryCode_JP,
  CountryCode_KE,
  CountryCode_KG,
  CountryCode_KH,
  CountryCode_KI,
  CountryCode_KM,
  CountryCode_KN,
  CountryCode_KP,
  CountryCode_KR,
  CountryCode_KW,
  CountryCode_KY,
  CountryCode_KZ,
  CountryCode_LA,
  CountryCode_LB,
  CountryCode_LC,
  CountryCode_LI,
  CountryCode_LK,
  CountryCode_LR,
  CountryCode_LS,
  CountryCode_LT,
  CountryCode_LU,
  CountryCode_LV,
  CountryCode_LY,
  CountryCode_MA,
  CountryCode_MC,
  CountryCode_MD,
  CountryCode_ME,
  CountryCode_MF,
  CountryCode_MG,
  CountryCode_MH,
  CountryCode_MK,
  CountryCode_ML,
  CountryCode_MM,
  CountryCode_MN,
  CountryCode_MO,
  CountryCode_MP,
  CountryCode_MR,
  CountryCode_MS,
  CountryCode_MT,
  CountryCode_MU,
  CountryCode_MV,
  CountryCode_MW,
  CountryCode_MX,
  CountryCode_MY,
  CountryCode_MZ,
  CountryCode_NA,
  CountryCode_NC,
  CountryCode_NE,
  CountryCode_NG,
  CountryCode_NI,
  CountryCode_NL,
  CountryCode_NO,
  CountryCode_NP,
  CountryCode_NR,
  CountryCode_NU,
  CountryCode_NZ,
  CountryCode_OM,
  CountryCode_PA,
  CountryCode_PE,
  CountryCode_PF,
  CountryCode_PG,
  CountryCode_PH,
  CountryCode_PK,
  CountryCode_PL,
  CountryCode_PM,
  CountryCode_PN,
  CountryCode_PR,
  CountryCode_PT,
  CountryCode_PW,
  CountryCode_PY,
  CountryCode_QA,
  CountryCode_RO,
  CountryCode_RS,
  CountryCode_RU,
  CountryCode_RW,
  CountryCode_SA,
  CountryCode_SB,
  CountryCode_SC,
  CountryCode_SD,
  CountryCode_SE,
  CountryCode_SG,
  CountryCode_SH,
  CountryCode_SI,
  CountryCode_SK,
  CountryCode_SL,
  CountryCode_SM,
  CountryCode_SN,
  CountryCode_SO,
  CountryCode_SR,
  CountryCode_ST,
  CountryCode_SV,
  CountryCode_SY,
  CountryCode_SZ,
  CountryCode_TC,
  CountryCode_TD,
  CountryCode_TG,
  CountryCode_TH,
  CountryCode_TJ,
  CountryCode_TK,
  CountryCode_TL,
  CountryCode_TM,
  CountryCode_TN,
  CountryCode_TO,
  CountryCode_TR,
  CountryCode_TT,
  CountryCode_TV,
  CountryCode_TW,
  CountryCode_TZ,
  CountryCode_UA,
  CountryCode_UG,
  CountryCode_US,
  CountryCode_UY,
  CountryCode_UZ,
  CountryCode_VA,
  CountryCode_VC,
  CountryCode_VE,
  CountryCode_VG,
  CountryCode_VI,
  CountryCode_VN,
  CountryCode_VU,
  CountryCode_WF,
  CountryCode_WS,
  CountryCode_YE,
  CountryCode_YT,
  CountryCode_ZA,
  CountryCode_ZM,
  CountryCode_ZW,
  CountryCode'
  #-}