Thanks for the info. After this change, it would be unable to specify more than 2 parameters on flat_map: the comparison function, allocator and etc. If changed code compiles, it means we're not using such feature in the code right now, but I'm not sure whether we'll have this kind of code in the future.