I&#39;m a fan of making FGL more record-based, but definitely keeping the inductive graph style.<div><br></div><div>My own biggest gripe with previous versions of FGL was that the graph implementations were severely underoptimized.  In particular, PatriciaTree left open a <i>lot</i> of optimization.</div>

<div><br></div><div>Ivan, would you like to set up a darcs repo for FGL-Prime or something at <a href="http://code.haskell.org">code.haskell.org</a>, and start cracking?  I&#39;m really excited for this project.</div><div>

<br clear="all">Louis Wasserman<br><a href="mailto:wasserman.louis@gmail.com">wasserman.louis@gmail.com</a><br><a href="http://profiles.google.com/wasserman.louis">http://profiles.google.com/wasserman.louis</a><br>
</div>