idris-0.9.9.3: test/reg007/expected
reg007.lidr:8:A.n is already defined reg007.lidr:12:When elaborating right hand side of hurrah: Can't unify [92mn[0m[94m = [0m[92mA.lala[0m with [91m0[0m[94m = [0m[91m1[0m Specifically: Can't unify [91m1[0m with [91m0[0m