> Almost all bugs are logic bugs or inconsistent state bugs (thanks OOP!), almost none are type bugs.

What if you drastically reduce the possibility of inconsistent state by making it unrepresentable at the type level?

What if you immediately know that you’ve exhaustively handled all your cases?

What if types push parsing in the right direction?