[Haskell-cafe] using type variables in type declarations inside function

Francesco Ariis fa-ml at ariis.it
Thu Apr 12 20:42:45 UTC 2018

On Thu, Apr 12, 2018 at 04:26:50PM -0400, Brandon Allbery wrote:
> I don't know Purescript so couldn't say about that. In standard Haskell you
> don't need to use forall at all; it's used by this extension and by
> extensions for existential types.

RankNTypes too iirc

More information about the Haskell-Cafe mailing list