Practical Confidence: Using Types to Help Your Computer Help You - Adam Perry @dika10sune