型クラス：型に別名を付けられる
<div class="code-block-container"><pre class="language-nim"><code class="language-nim">type Number = int or float # int | float でも可
</code></pre></div>

直和型の変数は、一度どちらかの型にするとその型の変数として振る舞う
<div class="code-block-container"><pre class="language-nim"><code class="language-nim">type TypeClass = int | string

var foo: TypeClass = 1
foo = 2 # OK
foo = "bar" # int型として振る舞うためerror
</code></pre></div>

組み込みの型と型クラスは、ジェネリクスの型制約に使える
<div class="code-block-container"><pre class="language-nim"><code class="language-nim">proc onlyIntOrStr[T: int | string](x, y: T) = discard

onlyIntOrStr(1, 2) # OK
onlyIntOrStr(1.0, 2) # error
onlyIntOrStr(1, "2") # 同時に複数の型として振る舞えないのでerror
</code></pre></div>