A more efficient implementation of FinishedIoFuture