don't duplicate the code of Data.Unique, just import it