Proposal: Turn on ScopedTypeVariables by default

Mario Blažević mblazevic at
Mon Feb 23 18:59:18 UTC 2015

On 15-02-23 12:45 PM, David Feuer wrote:
> I know this will be controversial, because it can break (weird) code and
> because it's not Haskell 2010, but hey, you can't make brain salad
> without breaking a few heads. ScopedTypeVariables is just awesome for
> two fundamental reasons:
> 1. It lets you write type signatures for more things.
> 2. It lets you write more precise type signatures for many things.
> As a consequence of those two,
> 3. It helps you get much better error messages from the type checker.
> And for all that,
> 4. It's really easy to use.
> What do other people think?

	I'd love this to happen, but not before it was specified in the next 
Haskell standard.

More information about the Glasgow-haskell-users mailing list