ImplicitBijection?