public delegate void TransitionHandler(
	TState initialState,
	TState nextState
)

type TransitionHandler = 
    delegate of 
        initialState : 'TState * 
        nextState : 'TState -> unit