map is:exact -package:vector -package:ghc -package:basement -package:imports -package:bytestring -package:containers -package:charset -package:aeson -package:invertible -package:hedgehog -package:filepath package:integration

map :: (a -> b) -> [a] -> [b]
integration Testlib.Prelude
map f xs is the list obtained by applying f to each element of xs, i.e., 
map f [x1, x2, ..., xn] == [f x1, f x2, ..., f xn]
map f [x1, x2, ...] == [f x1, f x2, ...]

>>> map (+1) [1, 2, 3]
[2,3,4]