for types to be unique