pub fn optimize<'a, K, IN, OUT, F>(func: F) -> impl Fn(IN) -> OUT + 'awhere F: Func<K, IN, OUT> + 'a, IN: Value, OUT: Value,