Haskellians,<br><br>i feel like i&#39;m chasing a rabbit down the rabbit hole, but here goes. i&#39;m currently redoing my implementation of an evaluator for a reflective process calculus, using Haskell instead of OCaml, this time. i thought i&#39;d give a James Cheney&#39;s FreshLib a whirl to 
<br><ul><li>test out the state of the nominal machinery in Haskell</li><li>see if the nominal stuff works, practically, with my reflective account of nominal machinery</li></ul>i&#39;ve discovered that FreshLib makes essential use of a early version of generic Haskell features. i need to bone up on generic Haskell, quickly. i&#39;ve got the papers. i need to see what&#39;s being released and supported in the mainstream Haskell codebase. Is there documentation for this, or should i grovel source?
<br><br>Best wishes,<br><br>--greg<br><br>-- <br>L.G. Meredith<br>Managing Partner<br>Biosimilarity LLC<br>505 N 72nd St<br>Seattle, WA 98103<br><br>+1 206.650.3740<br><br><a href="http://biosimilarity.blogspot.com">http://biosimilarity.blogspot.com
</a>