This is hardly a hot take - many programmers prefer working in typed languages. But the best part? Types can do much more than most of us realize - catching bugs at compile-time is just the tip of the iceberg.

I didn't realize how powerful types truly were until I spent some time in Haskell. When I got back into TypeScript, it turned out I could keep using almost everything I'd learned.

Functional languages offer unique ways of working with types, and most modern languages let you tap into these powers without forcing you into obscure patterns.

You will learn how to:
- Think of types as sets of values.
- Model business domains with surgical precision
- Make incorrect code impossible, eliminate unit tests, and reduce the need for documentation.
- Apply practical type-driven design patterns (ADTs, branded primitives, smart constructors...).

This talk presents a fresh perspective on type systems through a familiar language. The examples are in TypeScript, but the advice is general.