이펙트란 함수가 표시할 수 있는 행동의 카테고리입니다. 함수에 대한 익스클루시브 이펙트 적용에는 계층구조가 존재하며, 계층구조에서 위에 있는 이펙트는 아래에 있는 이펙트의 모든 행동을 보장합니다. 다음과 같은 계층구조를 가정해 볼 수 있습니다.
transactsvariescomputesconverges
이 경우, transacts 이펙트는 아래에 있는 이펙트의 모든 프로퍼티를 포함하므로 varies의 computes와 converges 이펙트를 포함하지만, transacts의 이펙트는 포함하지 않습니다.