Gdy funkcja ma efekt transacts, oznacza to, że funkcja może odczytywać i zapisywać dane, ale te działania mogą być wycofane, jeśli funkcja ma również efekt decides. Ten efekt jest efektem wyłącznym.
Funkcja bez określonego efektu wyłącznego może odczytywać i zapisywać dane, ale nie można jej wycofać.