Opaque Type kernel::syscall::

type <'a> = impl : Future<Output = ControlFlow>;