Excellent question! Types can provide very strong security

for messages by having the type system do crypto so that

applications can benefit without requiring application

programmers to manage keys and crypto code.