This could also be `TypeTuple!(bool, char[1], clampIdx!(0, 7))`, right?