Typing examples

The files in this directory are not meant to be executed.

They are type-checked using various type checkers to ensure our type stubs are correct.

See the environments starting with typing- in tox.ini.