Mypy doesn't like some annotation in web.py,
this commits aims at pleasing it.