map is:exact -package:basement -package:ghc -package:containers -package:dlist -package:monoidal-containers -package:invertible -package:integration package:pipes

Apply a function to all values flowing downstream
map id = cat

map (g . f) = map f >-> map g