Is 'Q' required in 'dataToExpQ' of 'template-haskell'?

Roman Beslik rabeslik at
Fri Sep 16 16:54:39 CEST 2011

Hi! Why 'template-haskell.Language.Haskell.TH.Quote.dataToExpQ' does not 
have a type @Data a => (forall b. Data b => b -> Maybe Exp) -> a -> Exp@ 
? The argument of type @a@ does not contain variables (this makes no 
sense), so 'Q' is not used for generating names.

More information about the Libraries mailing list