>>229
もとの質問をちゃんと読んでくれ。>>218

どうあがいても無理なのか？ と彼は訊いているんだよ。
Haskell の仕様としてできない事になっている、と勘違いしている。
（Map も Functor ではないと勘違いしているのだから、思い込みも甚だしい）

これを否定する事実を提示するだけで、この疑問は解消されるだろう。
つまり、あがけばできるし、できない仕様にはなっていない事を示せば良い。

instance Functor Set where
fmap f s = let xs = toList s
xs' = fmap f xs
in fromDistinctAscList xs'

それに元の質問は、Functor 版 Set をどのようなシーンでどう使いたいのか
まったく言っていない。
だから、質問は無理かどうかを訊いているだけなのだろう。