Is it evil to add "deriving Typeable" to newtype Q?
2010-05-05 08:13:27 GMT
Is it reasonable to add "deriving Typeable" to newtype Q?
In case you wonder why I want to do that, it is because I've constructed a Q [Dec] inside a monad, I want to extract it from the monad (via runIO) and the monad has constraint "Typeable" over this parameter.
I've also tried to write the Typeable instance in my own module (not Language.Haskell.TH.Syntax). But I've got no luck since the Q type constructor is exported but the data constructor is not.
_______________________________________________ template-haskell mailing list template-haskell <at> haskell.org http://www.haskell.org/mailman/listinfo/template-haskell