Addition of map_lazy_default, and use lazy for lazy_default as well.