SyntaxForOperators.agda:6,1-1 SyntaxForOperators.agda:6,1: syntax declarations are allowed only for simple names (without holes) ...