Знакомство с новыми типами данных и классами типов, которые упрощают работу с эффектами и позволяют конструировать и использовать составные эффекты. Программа базируется на курсах, читавшихся в Академическом университете РАН и Computer Science Center.

Для обучения необходимо знакомство с синтаксисом и стандартной библиотекой Haskell.