Comment by westurner

Could it please also do runtime type checking?

(PyContracts and iContract do runtime type checking, but it's not very performant.)

That MyPy isn't usable at runtime causes lots of re-work.