record field val types are not redundant