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