http://wphomes.soic.indiana.edu/jsiek/what-is-gradual-typing... (linked in an article) explains `Any` a bit better. "Any is consistent with all types" essentially means runtime checked/dynamic, instead of statically checked.