Add reduced example of partial record types.