@@ -47,8 +47,8 @@ qDynPure qe = do
4747 _ -> gmapM f d
4848 (e', exprsReversed) <- runStateT (gmapM f e) []
4949 let exprs = reverse exprsReversed
50− arg = foldr (\a b -> ConE 'FHCons `AppE` a `AppE` b) (ConE 'FHNil) $ map snd exprs
51− param = foldr (\a b -> ConP 'HCons [VarP a, b]) (ConP 'HNil []) $ map fst exprs
50+ arg = foldr (\a b -> ConE 'FHCons `AppE` snd a `AppE` b) (ConE 'FHNil) exprs
51+ param = foldr (\a b -> ConP 'HCons [VarP (fst a), b]) (ConP 'HNil []) exprs
5252 [| $(return $ LamE [param] e') <$> distributeFHListOverDynPure $(return arg) |]
5353
5454-- | Antiquote a 'Dynamic' expression. This can /only/ be used inside of a