Agda-2.3.2.2: test/fail/Issue549.err

Issue549.agda:4,8-8
Issue549.agda:4,8: Not
a valid identifier: M.R <EOF><ERROR> ...