type StappState<T extends Stapp<any, any>> = T extends Stapp<infer State, any> ? State : any>

// later
const app = createApp(...)
type State = StappState<typeof app>