Not entirely sure, but having a hierarchy of http contentencoding types, and http error/success types Yes the Scala server shown was an interesting example, t

Not entirely sure, but having a hierarchy of http contentencoding types, and http error/success types Yes the Scala server shown was an interesting example, though I'm not sure if it would be impossible to do in other languages or just harder. Also having a type for sanitized strings versus unsanitized strings. The golang stdlib does do this, it's quite handy as a reminder.