Implemented `map` as a `reduction`