Tweaked by tabbott to add an extra type: ignore.
The main purpose of this commit is to demonstrate end-to-end that our setup for type stubs works. I picked this library more or less arbitrarily as one where the API surface we use is tiny, so that the stub would be extra easy to write.