fn verify(self) -> Pin<Box<dyn Future<Output = Result<Box<dyn Verified<T>>, String>>>>;