 ⇒ TestData i
us_cardinals =
  [ ( "default"
    , defaultInflection
    , en_cardinals
      ⊕ [ (-1, "negative one")
        , (101, "one hundred one")
        , (110, "one hundred ten")
        , (111, "one hundred eleven")
        , (120, "one hundred twenty")
        , (121, "one hundred twenty-one")
        , (144, "one hundred forty-four")
        , (200, "two hundred")
        , (300, "three hundred")
        , (666, "six hundred sixty-six")
        , (1000, "one thousand")
        , (1001, "one thousand one")
        , (1010, "one thousand ten")
        , (1011, "one thousand eleven")
        , (1024, "one thousand twenty-four")
        , (1100, "one thousand one hundred")
        , (1728, "one thousand seven hundred twenty-eight")
        , (2000, "two thousand")
        , (10000, "ten thousand")
        , (100000, "one hundred thousand")
        , (500000, "five hundred thousand")
        , (1000000, "one million")
        , (1048576, "one million forty-eight thousand five hundred seventy-six")
        , (10000000, "ten million")
        ]
    )
  ]

us_ordinals ∷ (Num i) ⇒ Te
us_cardinals ∷ (Num i) ⇒ TestData i
us_cardinals =
  [ ( "default"
    , defaultInflection
    , en_cardinals
      ⊕ [ (-1, "negative one")
        , (101, "one hundred one")
        , (110, "one hundred ten")
        , (111, "one hundred eleven")
        , (120, "one hundred twenty")
        , (121, "one hundred twenty-one")
        , (144, "one hundred forty-four")
        , (200, "two hundred")
        , (300, "three hundred")
        , (666, "six hundred sixty-six")
        , (1000, "one thousand")
        , (1001, "one thousand one")
        , (1010, "one thousand ten")
        , (1011, "one thousand eleven")
        , (1024, "one thousand twenty-four")
        , (1100, "one thousand one hundred")
        , (1728, "one thousand seven hundred twenty-eight")
        , (2000, "two thousand")
        , (10000, "ten thousand")
        , (100000, "one hundred thousand")
        , (500000, "five hundred thousand")
        , (1000000, "one million")
        , (1048576, "one million forty-eight thousand five hundred seventy-six")
        , (10000000, "ten million")
        ]
    )
  ]
us_cardinals =
  [ ( "default"
    , defaultInflection
    , en_cardinals
      ⊕ [ (-1, "negative one")
        , (101, "one hundred one")
        , (110, "one hundred ten")
        , (111, "one hundred eleven")
        , (120, "one hundred twenty")
        , (121, "one hundred twenty-one")
        , (144, "one hundred forty-four")
        , (200, "two hundred")
        , (300, "three hundred")
        , (666, "six hundred sixty-six")
        , (1000, "one thousand")
        , (1001, "one thousand one")
        , (1010, "one thousand ten")
        , (1011, "one thousand eleven")
        , (1024, "one thousand twenty-four")
        , (1100, "one thousand one hundred")
        , (1728, "one thousand seven hundred twenty-eight")
        , (2000, "two thousand")
        , (10000, "ten thousand")
        , (100000, "one hundred thousand")
        , (500000, "five hundred thousand")
        , (1000000, "one million")
        , (1048576, "one million forty-eight thousand five hundred seventy-six")
        , (10000000, "ten million")
        ]
    )
  ]