UnknownNameInFixityDecl.agda:5,11-14
Names out of scope in fixity declarations: _*_ _+_