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 functi

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?