The lectures will cover several more advanced topics regarding programming with types in Haskell, including topics such as:

* monads and applicative functors; * lambda calculus; * generalized algebraic datatypes; * datatype generic programming * type families and type-level programming;

Even if the schedule is yet to be finalized, a definitive list of topics covered would be nice. Thanks, Olaf