> Is there a way now to define a slice-based type that enforces strict typing of its index Nope, no way to do that. I wonder about ergonomics. I can imagine "

> Is there a way now to define a slice-based type that enforces strict typing of its index Nope, no way to do that. I wonder about ergonomics. I can imagine "academic" usage, but I shudder at the perspective of the impact on a typical CRUD app.