[Hs-Generics] Workshop on Haskell And Rewriting Techniques (HART) 2013