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 let
I have often thought the same thing. This is probably the language
extension I enable the most... a quick grep shows about 40% of my
modules.
I'm guessing the problem is that its not Haskell 98/2010? I think GHC
has a policy to do only what the spec says by default. Is that still
true now that AMP
Brandon Allbery wrote:
> On Mon, Feb 23, 2015 at 12:59 PM, Andrew Farmer
> wrote:
>
>> I'm guessing the problem is that its not Haskell 98/2010? I think GHC
>> has a policy to do only what the spec says by default. Is that still
>> true now that AMP is implemented?
>>
>
> I think the main worry
