You should probably make `Records` extend `Equal` so you won’t need to repeat it each time you use records.