decides

함수가 실패할 수 있으며 해당 함수 호출은 실패 가능 표현식임을 나타내는 이펙트입니다. decides 이펙트가 있는 함수 정의는 반드시 transacts 이펙트도 있어야 합니다. 즉, 이 함수에 의해 수행되는 액션은 함수 내 어디서든 실패가 있는 경우 마치 아무 작업도 수행하지 않았던 것처럼 롤백할 수 있습니다.