<p dir="ltr">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:</p>
<p dir="ltr">1. It lets you write type signatures for more things.<br>
2. It lets you write more precise type signatures for many things.</p>
<p dir="ltr">As a consequence of those two,</p>
<p dir="ltr">3. It helps you get much better error messages from the type checker.</p>
<p dir="ltr">And for all that,</p>
<p dir="ltr">4. It's really easy to use.</p>
<p dir="ltr">What do other people think?</p>