Give signatures involving an Iso newtype for the various isomorphisms in
Composition and Rep