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

そろそろ東京帰るよ。 今年の正月は反省すべき点が多かったけど、帰ったら忘れるだろう。