# What is a higher-order effect?

**URL:** https://discourse.haskell.org/t/what-is-a-higher-order-effect/10744
**Category:** Learn
**Created:** [November 15, 2024, 8:17pm UTC](https://discourse.haskell.org/t/what-is-a-higher-order-effect/10744 "2024-11-15T20:17:17Z")
**Posts on this page:** 1
**Showing post:** 35

<div class="post-metadata">

### Author: ![tomjaguarpaw](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/tomjaguarpaw/32/1230_2.png) [@tomjaguarpaw](https://discourse.haskell.org/u/tomjaguarpaw)
#### Post date: [June 13, 2026, 2:21pm UTC](https://discourse.haskell.org/t/what-is-a-higher-order-effect/10744/35 "2026-06-13T14:21:40Z")

</div>

For posterity I want to link to these discussions where are exactly about how to obtain this kind of “local” behaviour directly in `IO` without a separate “effect system”.

[https://discourse.haskell.org/t/fork-fragile-reader-like-operations-in-haskell](https://discourse.haskell.org/t/fork-fragile-reader-like-operations-in-haskell)

[https://discourse.haskell.org/t/a-reference-implementation-of-ioscopedref](https://discourse.haskell.org/t/a-reference-implementation-of-ioscopedref)

---

_[View the full topic](https://discourse.haskell.org/t/what-is-a-higher-order-effect/10744)._