pub fn use_unop<F, I1, O>(cond: F) -> (WriteSignal<I1>, Signal<O>)where I1: Clone + Default, O: Clone, F: Fn(I1) -> O + 'static,