FixityOutOfScopeInRecord.agda:4,13-16
Names out of scope in fixity declarations: _+_