Intention for adding explicit type arguments at function calls