型が集合というのは考えたこともありませんでした。
なるほど、とてもわかりやすい説明ですね！