Agda-2.3.2.2: test/fail/Issue476d.err

Issue476d.agda:12,5-8
Not in scope:
  M.R at Issue476d.agda:12,5-8
when scope checking M.R