-- For the locally-defined things
-- we need to turn the unfoldings inside the Ids into bindings,
binds | isLocallyDefined tycon
-- For the locally-defined things
-- we need to turn the unfoldings inside the Ids into bindings,
binds | isLocallyDefined tycon