Completed type argument