Type-Driven State Transition Machines

Build systems where invalid states are unrepresentable by encoding transitions into types.