Use more specific type annotations.