On: Mypy - An experimental Python variant with dynamic...

[andrewcooke]

also, i should perhaps mention, compared to some other libraries, pytyp is integrated with ABCs and the Python type system. so you can use isinstance() with these expressions, for example.