Nitpick: do the enforcing before declaring variables. Also, since you are right by it, `s/Tuple!(T)/Tuple!T/`