Derives a new codec for type B from an existing codec for type A,
given an (implicit) isomorphism between A and B.
Derives a new codec for type B from an existing codec for type A,
given an (implicit) isomorphism between A and B.
Handles Java primitives.