mapKeysMonotonic

I'm not really sure about the complexity estimate or the implementation, so there might be a better way to do it, maybe someone else can help ?