This merge request adds support for the ScopedTypeVariables
language extension so that type variables can be lexically scoped when explicitly introduced with the forall
keyword.
Depends on curry-base!14
This merge request adds support for the ScopedTypeVariables
language extension so that type variables can be lexically scoped when explicitly introduced with the forall
keyword.
Depends on curry-base!14