Bind typed def args to match arg types, not to call arg types