typed-map (racket): Type inference helper for map with Typed/Racket. Supports afl (rather the unhygienic variant, aful/unhygienic), un-annotated lambdas and polymorphic functions.
Keywords: functional|typed-racket|racket-library