Dropped requirement for Record to be abstract.