Polymorphic records are worth a mention.