- rnIPBinds binds `thenM` \ (binds',fvBinds) ->
- thing_inside (IPBinds binds' is_with)
+ rnIPBinds binds `thenM` \ (binds',fv_binds) ->
+ thing_inside (IPBinds binds' is_with) `thenM` \ (thing, fvs_thing) ->
+ returnM (thing, fvs_thing `plusFV` fv_binds)