>>196のいう勝手な決めつけを排除する為に、
やはり型情報にいろいろ追加する機能があると良いのでは？

C++のtemplateは裏技チックだからもうちょっと素直な奴。