Use when effects, dependencies, failures, resources, concurrency, or execution boundaries need explicit modeling.
