Phantom type

C++のテンプレートの特殊化を整理したものという理解でいいか…帰ったらGADTあたり調べる。
ところでテンプレートの特殊化ってC++起源なんかな？