instance Ord FiniteMap

Hal Daume III hdaume@ISI.EDU
Tue, 28 May 2002 16:58:32 -0700 (PDT)


Is there any particular reason FiniteMap (and hence Set) aren't instances
of Ord?  I realize it's "weird" to define a map to be ordered, but even if
the Ord definition were in some sense "nonsensical", being able to have,
for instance, Sets of Sets of things would be really nice.

--
Hal Daume III

 "Computer science is no more about computers    | hdaume@isi.edu
  than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume