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

[Araq]

The number of times where I thought in my life: "Oh, if only I had make this 
enum type string instead!": 0.