Yes, and they require support for static generic parameters in turn. Another problem is, would all fields have bit alignment by default? What would happen when an `Uint<4>` was followed by `u8`?