GenericProgrammingスレで出ているような技を見ると
templateがポリモーフィズムだけでお終いってことはないと思う。