Opaque Type kernel::forth::

type <'forth> = impl : Future<Output = Result<(), Error>> + 'forth;