diff --git a/src/Language/Haskell/TH/ReifyMany.hs b/src/Language/Haskell/TH/ReifyMany.hs
--- a/src/Language/Haskell/TH/ReifyMany.hs
+++ b/src/Language/Haskell/TH/ReifyMany.hs
@@ -94,11 +94,21 @@
                 -> Q [(Name, Info)]
 reifyManyTyCons recurse = reifyMany recurse'
   where
-    recurse' (name, TyConI dec) = recurse (name, dec)
-    recurse' (_, PrimTyConI {}) = return (False, [])
-    recurse' (_, info) = do
-        report True $ "Unexpected info type in reifyManyTyCons: " ++ show info
-        return (False, [])
+    recurse' (name, info) = do
+        let skip thing = do
+                reportWarning $ "reifyManyTyCons skipping " ++ thing ++ " named " ++ pprint name
+                return (False, [])
+            unexpected thing = do
+                fail $ "reifyManyTyCons encountered unexpected " ++ thing ++ " named " ++ pprint name
+        case info of
+            TyConI dec -> recurse (name, dec)
+            PrimTyConI{} -> skip "prim type constructor"
+            FamilyI{} -> skip "type or data family"
+            DataConI{} -> skip "data constructor"
+            ClassI{} -> skip "class"
+            ClassOpI{} -> unexpected "class method"
+            VarI{} -> unexpected "value variable"
+            TyVarI{} -> unexpected "type variable"
 
 -- | Starting from a set of initial top level declarations, specified
 -- by @[Name]@, recursively enumerate other related declarations.  The
diff --git a/src/Language/Haskell/TH/ReifyMany/Internal.hs b/src/Language/Haskell/TH/ReifyMany/Internal.hs
--- a/src/Language/Haskell/TH/ReifyMany/Internal.hs
+++ b/src/Language/Haskell/TH/ReifyMany/Internal.hs
@@ -100,7 +100,7 @@
 -- the given 'TypeclassInstance'.
 instanceMatches :: TypeclassInstance -> Name -> Bool
 instanceMatches (TypeclassInstance _ typ _) n' =
-    case tailMay $ map (headMay . unAppsT) $ unAppsT typ  of
+    case tailMay $ map (headMay . unAppsT) $ unAppsT typ of
         Nothing -> False
         Just xs -> not $ null [() | Just (ConT n) <- xs, n == n']
 
diff --git a/th-reify-many.cabal b/th-reify-many.cabal
--- a/th-reify-many.cabal
+++ b/th-reify-many.cabal
@@ -1,5 +1,5 @@
 name:              th-reify-many
-version:           0.1.4.1
+version:           0.1.5
 synopsis:          Recurseively reify template haskell datatype info
 
 description:       @th-reify-many@ provides functions for recursively reifying top