Scoped type variables

ScopedTypeVariables allows local type signatures to reference type variables from their enclosing context.

This extension first appeared in GHC 6.8.1GHC Manual documentation for this extension. and it implies the extension ExplicitForAll.

Sign up for access to the full page, plus the complete archive and all the latest content.