هر نوع را مثل مجموعه‌ای از مقدارها در نظر بگیرید. string یعنی همه‌ی رشته‌های ممکن و 'gold' فقط یکی از آن‌ها. در بالاترین سطح any و unknown نشسته‌اند که هر دو همه‌چیز را می‌پذیرند، اما به دو شکل کاملاً متفاوت.