Update Note [hsScopedTvs and visible foralls]
The Note was written before GHC gained support for visible forall in types of terms. Rewrite a few sentences and use a better example.
Context: !11134 (comment 536596)
The Note was written before GHC gained support for visible forall in types of terms. Rewrite a few sentences and use a better example.
Context: !11134 (comment 536596)