add explicit/observable sharing of terms/types to .hi (interface file) representations?
Motivation
currently none of the implicit sharing that GHC's data structures enjoy in memory is preserved when written out to
Proposal
serialize to .hi files with some observable sharing machinery, deserialize in a way that takes advantage of having (also) added enough info to recover sharing
benchmark the impact!