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