type  = impl : Future<Output = bool>;