recursion.cons.AllDifferent: new exercise