Added GADTs flag required by ghc-7.9