-isWildPat :: Pat id -> Bool
-isWildPat (WildPat _) = True
-isWildPat _ = False
-
-patsAreAllCons :: [Pat id] -> Bool
-patsAreAllCons pat_list = all isConPat pat_list
-
-isConPat :: Pat id -> Bool
-isConPat (AsPat _ pat) = isConPat (unLoc pat)
-isConPat (ConPatIn {}) = True
-isConPat (ConPatOut {}) = True
-isConPat (ListPat {}) = True
-isConPat (PArrPat {}) = True
-isConPat (TuplePat {}) = True
-isConPat _ = False
-
-isSigPat :: Pat id -> Bool
-isSigPat (SigPatIn _ _) = True
-isSigPat (SigPatOut _ _) = True
-isSigPat _ = False
-
-patsAreAllLits :: [Pat id] -> Bool
-patsAreAllLits pat_list = all isLitPat pat_list
-
-isLitPat :: Pat id -> Bool
-isLitPat (AsPat _ pat) = isLitPat (unLoc pat)
-isLitPat (LitPat _) = True
-isLitPat (NPat _ _ _) = True
-isLitPat (NPlusKPat _ _ _ _) = True
-isLitPat _ = False
+isBangLPat :: LPat id -> Bool
+isBangLPat (L _ (BangPat {})) = True
+isBangLPat (L _ (ParPat p)) = isBangLPat p
+isBangLPat _ = False