Type hints for Python would be useful if used like structural typing from Prismatic's Schema for Clojure [1], where you can pattern match against tuples/lists/m

Type hints for Python would be useful if used like structural typing from Prismatic's Schema for Clojure [1], where you can pattern match against tuples/lists/maps/keys but also against arbitrary predicate functions (such that you could do `instanceof('foo')` or `hasattr('foo')`). [1] https://github.com/plumatic/schema https://github.com/plumatic/schema