The python ecosystem does not support of annotating a simple module as being 'typed'. That is only supported for packages,

see https://typing.python.org/en/latest/spec/distributing.html#packaging-type-information for details and especially the last two sentences of that chapter.

So please convert the shapefile.py module into a regular python package by moving the files into shapefile directory and adding an init.py file.