idris-0.9.11: test/reg007/expected
reg007.lidr:8:1:A.n is already defined
reg007.lidr:12:9:When elaborating right hand side of hurrah:
Can't unify
n = lala
with
0 = 1
Specifically:
Can't unify
1
with
0