expose an optional Pool argument in most Future\'s combinators;
handlers of a future are scheduled in pool rather than sequentially (to avoid
possible deadlocks among them)