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