The GADTSyntax extension

The GADTSyntax GHC extension …

This part of the Type Classes guide to GHC extensions is not yet written; for now we refer you to the GHC manual.