Opaque Type input::

source ·
type  = impl : Future<Output = ()>;