Constrained types would be nice. And you can write a complex thing in most languages, but I think often you just end up with a bunch of Builder code to enforce

Constrained types would be nice. And you can write a complex thing in most languages, but I think often you just end up with a bunch of Builder code to enforce some invariant. And that's a nightmare. You have to generate it and stuff like that.