-- We could use 'collectBindersIgnoringNotes', but then the
-- strictness info may have more items than the visible binders
-- used by WorkWrap.tryWW
-- We could use 'collectBindersIgnoringNotes', but then the
-- strictness info may have more items than the visible binders
-- used by WorkWrap.tryWW