Agda-2.3.2.2: test/fail/Issue62.err
Issue62.agda:22,5-6 a is not a constructor of the datatype A.A when checking that the pattern a has type A.A
Issue62.agda:22,5-6 a is not a constructor of the datatype A.A when checking that the pattern a has type A.A