Пишем функционально с алгебраическими эффектами. Никита Шильников.