>>68
私はGHCの例を出された方とは違うのですが、
正直>>68さんのおっしゃっておられる事は、
Genericとは違う範疇の問題だと感じられます。

全ての型に対するGenericな操作、などというものは、
Lispのevalとか、OOのObjectクラスにしか通用しない話であり、
今更議論しても得る所は少ないのではないでしょうか？