PrelNames
data Unique
class Uniquable a