`BitSlice` or a sound way to implement one

I feel like this is a “we need ergonomic support for more lifetime HKTs beyond &'_ T” problem more than a “we need to add hacks that let &'_ T support more kinds of lifetime HKTs” problem.