テンプレート関数って、多相型あればいらなくね?