This takes a lambda from "result of future" to "new result" and returns a new future,
scheduled on the same thread pool as the first future.