Polytypes in record fields, another example