simplify Record type