Un effet est une catégorie de comportement qu'une fonction peut montrer. L'application d'effets exclusifs à une fonction est hiérarchisée, les effets les plus élevés de la hiérarchie autorisant au moins tous les comportements des effets inférieurs. La hiérarchie est :
transactsvariescomputesconverges
L'effet transacts inclura les propriétés des effets ci-dessous, l'effet varies inclut les effets computes et converges, mais pas transacts, et ainsi de suite.