Hello Cafe,
I just uploaded th-alpha to hackage [1]. This package primarily provides one function, 'areExpAEq', which compares expressions for alpha equivalence (equivalence modulo renaming of bound variables):
>> areExpAEq [| \x -> x |] [| \y -> y |]
True
Pretty unambitious, but I found myself needing this when testing another library that uses Template Haskell, and it might be useful to others in that same situation.
Cheers,
Julian