Make productBijection more concise, and inlined.