im just saying:

* we used to have a generic len parameter kind (via typenum)
* it was removed for a reason (we didn't switch to something like you proposed)

and agreeing with Dion that it would be good to understand why.