This is a good example, but I'm not sure it's very real world. You wouldn't really use symbols in this case - you'd specifically introduce a Sanitized type and promote it to the kind level. But I'm picking holes, it's a good example of the power that the new type system gives us :)