What about `foo::<[T, .. 1 << 3]>()`?