GHCに実装されてるってのは、
>特定の型にだけなんらかの操作をするとかね。
でしょうか。
Genericsの関数適用ってのは、出来る奴にだけする？
それって訳解るんでしょうかね。人間がコーディングするという前提で。
OOのSubTyping+AdHocならすっきりですが。