exclusive effect (排他的エフェクト)

いくつかのエフェクトは、他の加算エフェクトを追加できる排他的エフェクトとみなされます。ただし、こうしたエフェクトは他の排他的エフェクトと一緒には使用できません。 排他的エフェクトには、computes、varies、および transacts が含まれます。 加算エフェクトには、suspends と decides が含まれます。