The GADTs 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.

See also:

Join Type Classes for courses and projects to get you started and make you an expert in FP with Haskell.