>>225
instance Functor Set where
fmap = Set.map
とすれば型エラーになるはず

↓こんな風に
http://codepad.org/ynVAbAoF

fmapは(a->b)->Set a->Set bの関数を要求するけど、これにaとbがOrdであることを付け足すことが文法上無理って話じゃないの?