Agda-2.3.2.2: test/fail/Issue332.err
Issue332.agda:4,1-5 Don't know how to parse id x. Could mean any one of: id x id x when scope checking the left-hand side id x in the definition of id
Issue332.agda:4,1-5 Don't know how to parse id x. Could mean any one of: id x id x when scope checking the left-hand side id x in the definition of id