[lihaoyi]

If you read the whole post and didn't come out thinking "types are a surprisingly big deal", I have failed as a writer.