Would it be possible to write a function "showFun" such that one could write a program f x y = x +y -- say main = putStrLn (show $(showFun f)) and the result of this program would be "f" I don't think it's possible at the moment because one can't reify expressions. Sean Seefried p.s. If I'm posting to the wrong group, I apologise, it's just that template-haskell doesn't seem to be a mail group just yet. I've posted to it and haven't seen any of my postings appear yet.