pub fn with_title<P>( program: P, title: impl Fn(&<P as Program>::State, Id) -> String, ) -> impl Program<State = <P as Program>::State, Message = <P as Program>::Message, Theme = <P as Program>::Theme>where P: Program,