[Haskell-cafe] Instances for Set of Functor, Traversable?