Quite possibly that's what would work. I haven't tried any of them in any kind of serious capacity before. Edit: Looks like there's been an RFC in the past to

Quite possibly that's what would work. I haven't tried any of them in any kind of serious capacity before. Edit: Looks like there's been an RFC in the past to add it to rust, but it got punted because the const generics stuff went in first and they wanted to see how that would shake out before trying to fully tackle this. https://github.com/ticki/rfcs/blob/pi-types-ext-2/text/0000-fully-dependent-pi-types.md https://github.com/ticki/rfcs/blob/pi-types-ext-2/text/0000-...