Given a base RedisCodec[K1, V1], a split epimorphism between K1 and K2, and
a split epimorphism between V1 and V2, a new RedisCodec[K2, V2] can be derived.
Given a base RedisCodec[K1, V1], a split epimorphism between K1 and K2, and
a split epimorphism between V1 and V2, a new RedisCodec[K2, V2] can be derived.