Multiple `impl`s error while use-ing implementations within separated mods...

Is there a way to design a trait that allows its implementation by any type even if the implementer ...