Does there exist a library which allows me to have maps whose elements are maps whose elements ... with a convenient syntax.Alternatively, does there exist a library like Data.Tree where forests are sets rather than lists? --