一般に型と呼ばれるものには2種類ある

静的解析の1つとしての型検査における集合のようなもの

実行時に値を区別するタグ