- Basics - Toolchain, unique marks, expressions, and generics
- Class - Type classes: Eq, Ord, Show, Functor, Applicative, Monad
- Data - Data types, records, type parameters, and deriving
- Pattern Matching - Match patterns, guards, and bindings
- Function - Recursion, higher-order functions, folds, and common functions
- Module - Imports, module structure, and standard libraries
- Monad - Writer, Reader, State, and Error monads
- I/O - Input/output, file operations, and ByteString
- Exception - Error handling with System.IO.Error