あースマソなんかHaskellとか関数型言語でいうgeneric programmingと
OOでいうgeneric programmingが食い違ってるような気がしてきた。
狭義と広義っていうか。googleしてみたら半々ぐらいっぽい。
勉強になりますた。出直してきます。