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

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