Explicit forall in Haskell

Posted on July 25, 2018 by Marko Dimjašević

Haskell’s forall, in combination with some GHC extensions, allows for liberal type synonyms and scoped type variables, among others. Source: School of Haskell.

Tags: GHC, Haskell, RankNTypes, type systems, functional programming