数個以上の複数の状態の組み合わせがあるけど、なってはいけない状態の組み合わせがある、みたいなときに状態を型にエンコードすると、おかしな状態を排除できるので、そういう場合に使っています。