add missing import `Future`
properly lazyalloc `deferral`