Type Alias TaskFuture 

type TaskFuture = FutureObj<'static, ()>;

Type-erased future, one for each of our (normal) tasks

Aliased Type

struct TaskFuture(/* private fields */);