Is it possible to encode constraints directly into a type, and enforce them at runtime?

[Charles]

Most of the time I'm the unwitting adversarial user.