Type systems as documentation

A workshop on making types carry intent: branded primitives, narrowing patterns, and where to stop. We refactor a small service together.