pub fn with_executor<P, E>( program: P, ) -> impl Program<State = <P as Program>::State, Message = <P as Program>::Message, Theme = <P as Program>::Theme>where P: Program, E: Executor,