Actually, I didn't realize this was the motivation behind the discussion here. There *is* already a `MonoFunctor` instance defined for `Either`, and instances for `MonoFoldable` and `MonoTraversable` can be added without including any orphans instances. I'll make such a change and push it.