Add id Adjunction.  Also, infixr _\o_