Composes with B <-> C isomorphism to provide A <-> C isomorphism.
Swaps the type arguments of this isomorphism.
Type class proving an isomorphism between types
AandB.