Explores advanced functional programming concepts in Haskell, including type system extensions (GADTs, type families), monad transformers, concurrency, and domain-specific languages (DSLs). Students will gain hands-on experience in building robust and scalable functional programs.