Monad.Schedulable
type ('a, 'prio) t = private
| Prune
| Now of 'a
| Yield of 'prio * unit -> ('a, 'prio) t
| Choice of ('a, 'prio) t * ('a, 'prio) t