This should be an implicit parameter, which is how Bijection/Injection was designed to be used (as a typeclass).