Un efecto es una categoría de comportamiento que puede presentar una función. La aplicación de efectos exclusivos a una función tiene una jerarquía, en la que los efectos que están más arriba en dicha jerarquía permiten por lo menos todo el comportamiento de los efectos que tienen por debajo. La jerarquía es la siguiente:
transactsvariescomputesconverges
El efecto transacts incluirá las propiedades de los efectos siguientes, el efecto varies incluye los efectos computes y converges, pero no transacts, y así sucesivamente.