Countable Type