More relaxed about record types.