This merge request adds support for the ExplicitForAll language extension so that type variables can be quantified explicitly with the forall keyword at the beginning of a type signature.
Depends on curry-base!13 (merged)
Closes #66 (closed)
This merge request adds support for the ExplicitForAll language extension so that type variables can be quantified explicitly with the forall keyword at the beginning of a type signature.
Depends on curry-base!13 (merged)
Closes #66 (closed)