Efekt jest kategorią zachowania, które może wykazywać funkcja. Zastosowanie efektów wyłącznych do funkcji ma hierarchię, przy czym efekty znajdujące się wyżej w hierarchii zezwalają przynajmniej na wszystkie zachowania efektów znajdujących się poniżej w hierarchii. Hierarchia wygląda następująco:
transactsvariescomputesconverges
Efekt transacts obejmuje właściwości efektów znajdujących się niżej w hierarchii, efekt varies obejmuje efekty computes i converges, ale nie transacts, i tak dalej.