reg007.lidr:8:1:A.n is already defined reg007.lidr:12:11:When elaborating right hand side of hurrah: Can't unify n = lala with 0 = 1 Specifically: Can't unify 1 with 0