Schrödinger's Discriminated Union
What can we learn from Mittens?
TypeScript
Typestates Would Have Saved the Roman Republic
How to prevent your republic from turning into an empire using typestates