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