その後マクロを展開して、展開された型を補助にタイプチェッカは再び以前未定だった型引数の型検査を続行する。そのように実装されている。全てがすごくシンプルになっていることに注意してほしい。最初の型引数だけを使って展開コードを生成する。2つ目の型引数のことは分からなくてもいい。関してはまだおかしい制限があるので注意する必要がある。具現化には大きな違いが一つある。候補が抜けるだけになる。マクロの方が動的に無効化できるなどより柔軟性が高いというトレードオフが生じる。マクロじゃないと動作しないことにも注意。宣言すると正しく動作しない。ConductLicenseSocialGitHubTwitter。