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