fn conv_linearization<'a, T, U, F>( linearization: &'a Linearization<Vec<PolishToken<T>>>, fun: F, ) -> Linearization<Vec<PolishToken<U>>>where T: 'a, F: Fn(&T) -> U,