型の集合をひとつの型へと圧縮する方法である。最初に注意してくことがある。ソースコードの先頭に置くかして、コンパイルしなければならないだろう。キーワードは明示的に型変数をスコープに持ってくるのに使われる。これまで次のように書かれているのは何度も飽きるほど見てきただろう。何なのだろうか?まあ、これらは型変数だ、とあなたは答えるだろう。コンパイラは、小文字から始まる型名を見ると、その役割を埋めるためにどんな型も許容するものとみなす。するという方法もある。形式論理を学べば、量化子に出くわすに違いない。