<html><head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-15"></head><body
bgcolor="#FFFFFF" text="#000000">
We have OrdList which does:<br>
<br>
<span style="font-family: monospace;">Provide trees (of instructions),
so that lists of instructions</span><br style="font-family: monospace;">
<span style="font-family: monospace;">can be appended in linear time.</span><br>
<br>
And Bag which claims to be:<br>
<br>
<span style="font-family: monospace;">an unordered collection with
duplicates<br>
<br>
However the actual implementation of Bag is also a tree if things.<br>
Given that we have snocBag, consBag that implies to me it's<br>
also an ordered collection.<br>
<br>
I wondered if besides of someone having to do it if there is a reason
why these couldn't be combined<br>
into a single data structure? Their implementation seems similar enough
as far as I can tell.<br>
</span>
</body>
</html>