>オブジェクト指向の多態性に当たるオーバーライド、オーバーロードはテンプレート（ジェネリック)を使ってなるべく利用しない方向に向かってるのが何よりの証拠とは言えないだろうか
全く意味がわからない。
(バカだからわかんねーんだよｗｗっていうのはHaskell信者だけにしてほしい)