The problem with them is that currently we handle "unwrapping" not per constraint, but per property. This would need to change to make your use cases work. I guess we worked under the assumption that either all constraints apply to the wrapper or all to the wrapped value.

With the possibility to constrain the wrapper and the value you actually don't need the explicit unwrapping (i.e. ``UnwrapValidatedValue``), do you? That was my first assumption when I discovered that you can constraint on the value's type. But - as I'm new to this topic - I don't know if this would break other use cases.

Thank you for looking into it!