1. Reasoning about a subset of values is usually easier. 2. Modeling the domain with types, making erroneous states unrepresentable is helpful 3. Carefully ch

1. Reasoning about a subset of values is usually easier. 2. Modeling the domain with types, making erroneous states unrepresentable is helpful 3. Carefully chosen types help with communicating intent