Alex, The containers library can do this already - there are no constraints on the elements of a Map. For example:
> type TripleNestedMap a = Map Int (Map Char (Map String a)) But this is rather silly as you can just do: > type MapOfTriples a = Map (Int ,Char, String) a for most uses. Cheers, Thomas On Fri, Oct 8, 2010 at 2:23 PM, Alex Rozenshteyn <rpglove...@gmail.com> wrote: > 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 > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > > _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe