I wrote a reduce function for Iterables and now I want to derive a generic map that can map over arbitr