Covers advanced Haskell topics such as software transactional memory (STM), parallel and concurrent programming with Haskell, and advanced type system features. Students will gain proficiency in building high-performance and reliable software systems using Haskell.