I built a state machine where invalid transitions can't compile

You know this bug. You're building an OAuth flow. Ten states. Five callbacks. A token refresh that...