Monad instance trouble: Any way to implement unionWith on some kind of map type, without an Ord constraint?

[AntC2]

And previously on Discourse: Why Data.Set (containers) doesn’t have Functor and Monad instance?; (… cont) Data.Set no Functor/Monad instance.