Annotate the Future return complete type with `Future<Foo>`