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 [1] https://hackage.haskell.org/package/th-alpha-0.1.0.2