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