-- !!! Naked fixity declaration module M where infix $$$ x = 'a'