Issue998.agda:9,4-7
a != a of type A
(because one is a variable and one a defined identifier)
when checking that the pattern d a has type D a