On Wed, Feb 20, 2008 at 8:22 AM, Alfonso Acosta <alfonso.acosta at gmail.com> wrote: > Maybe things would be different if TH's AST wasn't untyped (i.e. vExpr > :: String -> Q (Exp a)) I'm not sure if it is feasible, though. I meant vExp :: String -> Q (Exp (Vec a)) Sorry for the typo