When were GADTs introduced in the GHC? (version + date)
Also, are they still considered a language extension or are they now part of the standard Haskell?
GADTs were first supported in ghc-6.4 , which was released in March 2005.
They are still a language extension, the latest standard, Haskell2010, did not accept them (since it was a GHC extension, afaik).