Gli effetti sono categorie di comportamento che una funzione può esibire. L'applicazione di effetti esclusivi a una funzione ha un ordine gerarchico in cui gli effetti in cima implementano le proprietà di quelli al di sotto di essi. seguono:
transactsvariescomputesconverges
L'effetto transacts includerà le proprietà per gli effetti sottostanti, l'effetto varies include gli effetti computes e converges ma non transacts, e così via.