functor (Sched : Scheduler) -> S