... deferred execution, cancellation, resource safety (Resource), fiber concurrency (lightweight threads), and interoperation with underlying runtime platforms (JVM, Java concurrency, etc.). It enables developers to write effectful code while preserving composability, purity, and modular reasoning about side effects.