#types

Types that earn their keep

Most TypeScript adds ceremony without removing bugs. Four patterns that make illegal states unrepresentable instead of merely annotated.