Haskellians, i feel like i'm chasing a rabbit down the rabbit hole, but here goes. i'm currently redoing my implementation of an evaluator for a reflective process calculus, using Haskell instead of OCaml, this time. i thought i'd give a James Cheney's FreshLib a whirl to - test out the state of the nominal machinery in Haskell - see if the nominal stuff works, practically, with my reflective account of nominal machinery i'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've got the papers. i need to see what's being released and supported in the mainstream Haskell codebase. Is there documentation for this, or should i grovel source? Best wishes, --greg -- L.G. Meredith Managing Partner Biosimilarity LLC 505 N 72nd St Seattle, WA 98103 +1 206.650.3740 http://biosimilarity.blogspot.com