Here `map` does not care what type of elements com...

# getting-started

[jstuyts-squins]

Here map does not care what type of elements come in and what type of elements goes out. As long as the types of the lists match the types of the transformation function type, this function is guaranteed to be type-safe