Unions between polymorphic variants behind module types

to be able to compose two modules into one (for example, imagine JsonStringCodec and WhateverJsonCodec composed into WhateverStringCodec) so that i can use the one i need and don’t have to chain the calls everywhere, but that’s still trivially doable, just we can’t have a generic Compose Module Function for it