Types where the constructor takes care of the rules and aborts if you pass it something stupid (like an empty string for a user name).