Agda-2.3.2.2: test/fail/Issue555c.err

Issue555c.agda:7,8-9
List of parameters does not match previous signature for R