>>533
へいゆー自分にアンカー付けてるぜよ。

template で多相型をサポートするなら（問題山盛りにせよ）可能だと思います。
ただ template 周りの文法と、コード生成に失敗したときのエラー表示が難点かと。