Think of a type as a set of values. string is every possible string; 'gold' is just one. At the very top sit any and unknown, which both accept everything, but in very different ways.