**Packages**- is:exact

Return the result of applying a function to every element of a
sequence. Identical to `fmap` from `Functor`.
*Axioms:*
*unambiguous*.
Default running time: `O( t * n )` where `t` is the
running time of `f`

map f <x0,...,xn-1> = <f x0,...,f xn-1>

map f empty = empty

map f (lcons x xs) = lcons (f x) (map f xs)

Apply a function to the elements of every binding in the associative
collection. Identical to `fmap` from `Functor`.
This function is always *unambiguous*.