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

_______________________________________________
template-haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/template-haskell