nail down type argument assignment