Yeah that's probably too much of a slog. It's probably the case that very few things would break if you just snuck the validation out the back door and added li

Yeah that's probably too much of a slog. It's probably the case that very few things would break if you just snuck the validation out the back door and added like u8str (or whatever) that did the validation for people who want that enforced by the type system. Would be real easy to provide migration tooling too.