Issue3400-1.agda:11,1-4
Could not parse the left-hand side + A
Operators used in the grammar:
  + (infix operator, level 20) [_+_ (Issue3400-1.agda:3,5-8)]
when scope checking the left-hand side + A in the definition of +
