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