Issue332.agda:4,1-5
Don't know how to parse id x. Could mean any one of:
  id x
  id x
Operators used in the grammar:
  id (prefix notation, level 20) [id (Issue332.agda:3,1-3)]
when scope checking the left-hand side id x in the definition of id
