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.
Loading
Please register or sign in to comment
The Note was written before GHC gained support for visible forall in types of terms. Rewrite a few sentences and use a better example.