More on uniqueness types in function calls.