f = \y -> nub $ reverse y where