Map_of_lattices