you should take `ImplicitBijection` here, not Bijection. This is a trick to deal with the fact that `Bijection[A, B]` and `Bijection[B, A]` are equivalent, but confuse implicit resolution.