namespace HH; abstract class ImplicitContext {...}
::genSet<Tout>(this::T $context, (function(): Awaitable<Tout>) $f): Awaitable<Tout>
::get(): this::T
::set<Tout>(this::T $context, (function(): Tout) $f): Tout