diff --git a/changelog.md b/changelog.md
--- a/changelog.md
+++ b/changelog.md
@@ -1,3 +1,6 @@
+# 0.2.5
+ - (Neil) Make sure to capture variables bound in PFieldPun 
+ - (Neil) Make freeVars on Foo{a} include 'a'
 # 0.2.4
  - Neil fixed the spotting of brackets inside a lambda.
 # 0.2.3
diff --git a/haskell-src-exts-util.cabal b/haskell-src-exts-util.cabal
--- a/haskell-src-exts-util.cabal
+++ b/haskell-src-exts-util.cabal
@@ -5,7 +5,7 @@
 -- hash: df45b283632522ce37bd805c415abcf6f3860f9532488e9ca9e3e5975d56817f
 
 name:           haskell-src-exts-util
-version:        0.2.4
+version:        0.2.5
 synopsis:       Helper functions for working with haskell-src-exts trees
 description:    Helper functions for working with haskell-src-exts trees.
 category:       language
diff --git a/src/Language/Haskell/Exts/FreeVars.hs b/src/Language/Haskell/Exts/FreeVars.hs
--- a/src/Language/Haskell/Exts/FreeVars.hs
+++ b/src/Language/Haskell/Exts/FreeVars.hs
@@ -95,11 +95,18 @@
     freeVars (Case _ x alts) = freeVars x `mappend` freeVars alts
     freeVars (Do _ xs) = free $ allVars xs
     freeVars (MDo l xs) = freeVars $ Do l xs
+    freeVars (RecConstr _ _ a) = Set.unions $ map freeVars a
+    freeVars (RecUpdate _ a b) = Set.unions $ freeVars a : map freeVars b
     freeVars (ParComp _ x xs) = free xfv ^+ (freeVars x ^- bound xfv)
         where xfv = mconcat $ map allVars xs
     freeVars (ListComp l x xs) = freeVars $ ParComp l x [xs]
     freeVars x = freeVars $ children x
 
+instance (Data s, Ord s) => FreeVars (FieldUpdate s) where
+    freeVars (FieldUpdate _ _ x) = freeVars x
+    freeVars (FieldPun _ x) = Set.fromList $ unqualNames x
+    freeVars (FieldWildcard _) = Set.empty -- have no idea what's in here
+
 instance (Data s, Ord s) => FreeVars [Exp s] where
     freeVars = Set.unions . map freeVars
 
@@ -107,11 +114,20 @@
     allVars (PVar _ x)       = Vars (Set.singleton $ withNoLoc x) Set.empty
     allVars (PNPlusK l x _)  = allVars (PVar l x)
     allVars (PAsPat l n x)   = allVars (PVar l n) `mappend` allVars x
-    allVars (PWildCard _)    = mempty -- explicitly cannot guess what might be bound here
+    allVars (PRec _ _ x)     = allVars x
     allVars (PViewPat _ e p) = freeVars_ e `mappend` allVars p
     allVars x                = allVars $ children x
 
 instance (Data s, Ord s) => AllVars [Pat s] where
+    allVars = mconcat . map allVars
+
+instance (Data s, Ord s) => AllVars (PatField s) where
+    allVars (PFieldPat _ _ x) = allVars x
+    allVars (PFieldPun _ (UnQual _ x)) = Vars (Set.singleton $ withNoLoc x) Set.empty
+    allVars (PFieldPun _ (Qual _ _ x)) = Vars (Set.singleton $ withNoLoc x) Set.empty
+    allVars (PFieldWildcard _) = mempty -- explicitly cannot guess what might be bound here
+
+instance (Data s, Ord s) => AllVars [PatField s] where
     allVars = mconcat . map allVars
 
 instance (Data s, Ord s) => FreeVars (Alt s) where