Implied GHC extensions (in HEAD)

[Gabor Greif]

Hi devs,

when compiling a snippet of code (which I have written using GHC HEAD)
with GHC 7.10.2 (from the platform) I got errors about missing
extension pragmas. I had to add two:

> {-# LANGUAGE ViewPatterns, KindSignatures, GADTs, PolyKinds, StandaloneDeriving, FlexibleContexts, FlexibleInstances, ScopedTypeVariables, TypeFamilies, PatternSynonyms, FunctionalDependencies, RankNTypes, UndecidableInstances #-}
> {-# LANGUAGE DataKinds, TypeOperators #-} -- 7.10??

Looks like the implications have been extended in 7.11.

I guess PolyKinds now implies DataKinds, but cannot think of what
implies TypeOperators.

Was this change by design or by accident?

Any ideas?

Cheers,

    Gabor