map is:exact -package:base -package:containers -package:basement -package:integration -package:dense-linear-algebra -package:incipit-base -package:monoidal-containers -package:imports package:pipes

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

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