Create a new typeclass G that contains the cardinality of countries. Copy all of the elements into the new value and append X. Oh wait, G5 is incompatible wit

Create a new typeclass G that contains the cardinality of countries. Copy all of the elements into the new value and append X. Oh wait, G5 is incompatible with G6. Can't we just use an imperative, dynamic language and have a type G?