FreshLib 0.2, a more interesting implementation that uses scrap your boilerplate-style generic programming to eliminate almost all the boilerplate code needed in FreshLib 0.1. In addition, there is some support for user-defined forms of binding. This version uses several extensions to Haskell found only in ghc 6.4.
FreshLib 0.2.2, an update to FreshLib that should work with ghc 6.12.1 and the "syb-with-class" library (tested with version 0.6.1).
A paper describing version 0.2 in more detail is available. FreshLib is a work in progress. Comments are welcome!