Micro-optimize map_return_type even further :)