I always really missed header files when working on Python. A sort of enforced distinction between (typed) interface and implementation. In practice I always

I always really missed header files when working on Python. A sort of enforced distinction between (typed) interface and implementation. In practice I always wound up needing to read code of functions to see what types (or keyword argument!) they expected.