Haskell

1. Expressions

   Lambdas, conditionals, case, let, do expressions, and pattern matching.

2. Declarations, Types and Classes

   Algebraic data types, type classes, instances, and function bindings.

3. Modules

   Module structure, imports, exports, and qualified names.

4. Predefined Types and Classes

   Eq, Ord, Show, Functor, Monad, numeric classes, and lists.

5. Basic Input/Output

   The IO monad, file operations, and exceptions in IO.

6. GHC Language Extensions

   Enabling language extensions such as GADTs, type families, and rank-N types.

7. Type Families and GADTs

   Type-level programming with type families and data families.

8. Concurrency and Parallelism

   Threads, MVar, STM, and parallel evaluation in GHC.

9. Optimisation and Profiling

   GHC optimisation flags, specialisation, and strictness.

10. Foreign Function Interface

    Calling C from Haskell and exporting Haskell functions.

11. Cabal Packages

    Describing and building packages with Cabal.

Each section links to the official page. Titles and summaries by Extra Credit; the docs belong to their authors.