Set aとかMap k aってどうあがいてもFunctorとかのインスタンスに出来ないの?
出来るような仕様にしても良くね?不便じゃね?