[Template-haskell] Newbie question - class dependencies

Hi, I'm wondering if I can (ab)use from TH in order to generalize a context-dependant function into a generic function without that context, as long as I now that the arguments I'm applying the function to belong to the class. I guess this would work similarly to an automatic instance generation example. My example would be: module Main where myprint :: a -> String myprint = show main = do putStr $ myprint 1 putStr $ myprint '2' My ideia would be to stage the computation of *myprint* until it is called, where the *Show* instance can be satisfied. hugo