matchfail2.l1:2: duplicate pattern variable y