How to keep track of each unique record in a type?

It might help if you say exactly what it is you're trying to achieve here.