Is it possible somehow, to define via typescript what specific states, must contain state machine ?

[spalax]

Hi guys!

I have a question, i would like to have possibilities somehow to strictly define what states might exists in the state machine.
Is it is possible somehow to specify them. Because i can do it for action, but didn't found a way to specify the states.

return createMachine({
    types: {
      context: {} as TGameCommonScenePrefabContext,
      input: {} as TGameCommonSceneContext,
      output: {} as never,
      events: {} as TStateMachineEvents,
      actions: {} as { type: 'showCounter' } | { type: 'initialize' } | { type: 'hideAllCounters' },
    },
    ....

[davidkpiano]

This does not exist yet, but what would this look like for you? Curious to see how you'd intuitively want to define this.