>>653
一般的なStateパターンではなく、静的チェック付きのStateパターンだと何が保証されるのですか?