update Adjunction to use qualified infix operators