-collectHsBinders :: HsBinds name (InPat name) -> [name]
-collectHsBinders EmptyBinds = []
-collectHsBinders (MonoBind b _ _)
- = collectMonoBinders b
-collectHsBinders (ThenBinds b1 b2)
- = collectHsBinders b1 ++ collectHsBinders b2
-
--- corresponds to `collectHsBinders', but operates on renamed patterns
---
-collectHsOutBinders :: HsBinds name (OutPat name) -> [name]
-collectHsOutBinders EmptyBinds = []
-collectHsOutBinders (MonoBind b _ _)
- = collectMonoOutBinders b
-collectHsOutBinders (ThenBinds b1 b2)
- = collectHsOutBinders b1 ++ collectHsOutBinders b2
-
-collectLocatedMonoBinders :: MonoBinds name (InPat name) -> [(name,SrcLoc)]
+collectHsBinders :: HsBinds name -> [name]
+collectHsBinders EmptyBinds = []
+collectHsBinders (IPBinds _ _) = [] -- Implicit parameters don't create
+ -- ordinary bindings
+collectHsBinders (MonoBind b _ _) = collectMonoBinders b
+collectHsBinders (ThenBinds b1 b2) = collectHsBinders b1 ++ collectHsBinders b2
+
+collectLocatedMonoBinders :: MonoBinds name -> [(name,SrcLoc)]