I'm curious how useful enthusiastic Python users would find this. According to Guido's [blog](http://www.artima.com/weblogs/viewpost.jsp?thread=85551) [posts](http://www.artima.com/weblogs/viewpost.jsp?thread=86641), optional static typing was often requested, at least 7 years ago. Today, in the startup world, it seems like Python is always touted for the flexibility dynamic typing provides, so I'm curious what the current demand is (if any) among the HN crowd.