combinators simplification
more preemptive threads