Provides the correct implementation of map-m