Template_Meta-programming_for_Haskell