Type inference helper for map with Typed/Racket. Supports afl, un-annotated lambdas and polymorphic functions.
map