Maps a non-empty array to a new non-empty array.
The non-empty array to map.
The function to map over the array.
A new non-empty array.
Maps a non-empty array to a new non-empty array.