pub fn simple_task<R, E>( oracle_fn: impl Fn(&R, &E) -> f64 + Sync, ptp: TypeScheme, ) -> impl Task<(), Representation = R, Expression = E>