idris-0.9.9: test/reg007/expected

reg007.lidr:8:A.n is already defined