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?

--
          Alex R