map -is:exact -package:base -package:bytestring -package:foldl -package:basement -package:containers -package:hedgehog -package:pipes -package:integration package:dlist is:exact

map f xs is the DList obtained by applying f to each element of xs. <math>(length (toList xs)). map obeys the law:
toList (map f xs) = map f (toList xs)
map f xs is the DNonEmpty obtained by applying f to each element of xs. <math>(length (toNonEmpty xs)). map obeys the law:
toNonEmpty (map f xs) = map f (toNonEmpty xs)