Issue329.agda:5,14-24
Names out of scope in fixity declarations: Undeclared