<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
The easiest solution is simply to define<br>
<br>
    unionAll = nub . mergeAll<br>
        where<br>
        -- specialized definition of  nub<br>
        nub = map head . groupBy (==)<br>
<br></blockquote></div><br clear="all"><br>Talking about the easiest solution, I guess this is a quite easy way of defining unionAll as well: <a href="http://gist.github.com/306782">http://gist.github.com/306782</a><br>I, of course, do not claim that it is more efficient or better. But I don&#39;t think it&#39;d be rubbish :)<br>
<br><br>-- <br>Ozgur Akgun<br>