Agda-2.3.2.2: test/fail/Issue555a.err

Issue555a.agda:6,6-9
List of parameters does not match previous signature for Exp