> Technically, there is precedent for it in the sense that I is not a variable, but a manifest constant. The capital I is important to tell that apart.

Manifest constants are not to be capitalized.

> I think using ref r is also wrong, since _input is a typetuple, r is simply an alias.

The docs are not clear on that, which is why I've been using `ref`.