(これは、型そのものを引数として取ることができるというポリモーフィズムとは別の概念である。