с запрещенными переходами с помощью computation expressions.
а чего не объединил стейты через DU? тогда перегрузки будут не нужны
Чтобы запрещенные переходы через типы выражались.
Обсуждают сегодня