Just FWIW, you don't actually have to put type annotations in your own code in order to use annotated libraries.