When static types make your code shorter

The type system can let you remove runtime validations because invalid states are impossible.