`many` isomorphism (sketch, not verified yet)