map is:exact -package:text -package:dense-linear-algebra -package:bytestring -package:containers -package:monoidal-containers -package:integration -package:invertible -package:hedgehog -package:base-compat-batteries -package:conduit package:pipes

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

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