Hello I am trying to make the following declaration work from TH2: (x,y) = (a,b) where (Foo a b) = foo but haven't found a way to make pattern bindings. Is there a way to make such bindings? I am trying to construct the binding dynamically with Language.Haskell.TH.Syntax as the code has to work for declaring multiple kinds of pattern bindings. - Einar Karttunen