Neat. I'm not familiar enough with typeflow analysis to know how practical it is. Can it handle polymorphic functions, e.g., map? What about dependent functions (just kidding)? Is there a way to annotate functions so Pyntch will give a specific type?