Seems to fix diverging implicits by breaking the cycles in Bijection

comments welcome.