Um efeito é uma categoria de comportamento que uma função pode exibir. A aplicação de efeitos exclusivos a uma função tem uma hierarquia, com efeitos mais altos na hierarquia permitindo pelo menos todos os comportamentos dos efeitos abaixo deles. A hierarquia é:
transactsvariescomputesconverges
O efeito transacts incluirá propriedades para os efeitos abaixo, o efeito varies inclui os efeitos computes e converges, mas não transacts, e assim por diante.