[| $(dyn "foo") |] :: Quote m => m Exp [| [n|foo|] |] :: Q Exp