Я читал об аппликативных функторах, особенно в «Функциональной жемчужине» Макбрайда и Патерсона. Но я хотел бы укрепить свое понимание, выполнив несколько упражнений. Я бы предпочел упражнения по программированию, но упражнения на доказательство тоже подойдут. Какие упражнения помогут мне научиться эффективно программировать с помощью аппликативных функторов?
Индивидуальные упражнения допустимы, как и ссылки на упражнения, перечисленные в другом месте.