Add specialization to record implementation