Эффект — это категория поведения, которое может демонстрировать функция. Применение исключительных эффектов к функции подчиняется иерархии, при этом эффекты выше по иерархии разрешают, как минимум, действие всех эффектов ниже по иерархии. Иерархия выглядит следующим образом:
transactsvariescomputesconverges
Эффект transacts включает свойства эффектов ниже, эффект varies включает эффекты computes и converges, но не transacts, и т. д.