module T7734 where x `f` y = x x (&) x y = x x