Defining multiple constructors in a record: Exemplify several approaches for declaring multiple constructors in a record.