2010/9/6 Bulat Ziganshin <bulat.zigans...@gmail.com>: > Hello Serguey, > Monday, September 6, 2010, 7:57:46 PM, you wrote: >>> http://www.mail-archive.com/haskell-cafe@haskell.org/msg15656.html >> Will Data.Map with its' empty, insert, findMin, etc, "methods" conform >> to your proposed type? > but Data.Map isn't sequential container. instead, it maps arbitrary > keys to values
That situation reminds me situation with Set Monad instance. ;) Basically, you - and others, - propose to add another class isomorphic to already present lists. I think, most benefits of that class can be achieved by using list conversion and RULE pragma. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe