[source]

compiler/coreSyn/CoreFVs.hs

Note [The FVAnn invariant]

[note link]

Invariant: a FVAnn, say S, is closed:
That is: if v is in S,
then freevars( v’s type/kind ) is also in S