shrinkDataType (Record name fields)
    | length fields > 1 = (Record name . return) <$> fields
    | otherwise         = []
shrinkDataType (Record name fields)
    | length fields > 1 = (Record name . return) <$> fields
    | otherwise         = []
shrinkDataType (Record name fields)
    | length fields > 1 = (Record name . return) <$> fields
    | otherwise         = []