I have not seen any Haskell metacatamorpishm library, for banana split constructions. Would it not be a good start for a Template Haskell-specific library? In fact, is there a plan to create a Template Library for Template Haskell, somewhat homologous to the STL in C++? /David