# What should I use for effect handling?

**URL:** https://discourse.haskell.org/t/what-should-i-use-for-effect-handling/5641
**Category:** Uncategorized
**Created:** [January 22, 2023, 3:05am UTC](https://discourse.haskell.org/t/what-should-i-use-for-effect-handling/5641 "2023-01-22T03:05:36Z")
**Posts on this page:** 1
**Showing post:** 35

<div class="post-metadata">

### Author: ![arybczak](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/arybczak/32/2527_2.png) [@arybczak](https://discourse.haskell.org/u/arybczak)
#### Post date: [January 23, 2023, 2:45pm UTC](https://discourse.haskell.org/t/what-should-i-use-for-effect-handling/5641/35 "2023-01-23T14:45:19Z")

</div>

> [@tomjaguarpaw](#):
>
> The rest of the functions also take a subset of those parameters, so will work equally well.

It won’t, because now your type signatures “lie” in a sense that it looks like they use all these effects, whereas in reality they don’t.

This is your post from the other thread:

> [@The issues with effect systems](http://discourse.haskell.org/t/the-issues-with-effect-systems/5630/9):
>
> I’m not sure it is faster, but it’s _typed_. You can see what effects any block of code has. That’s most of the point of Haskell, in my view!

With what you propose you lose this propoerty, don’t you? 🤔 Now it looks like your functions are using more effects than they do in reality.

> [@tomjaguarpaw](#):
>
> This is no worse than two other situations @Abab9579 might be in

Looks like he’s using a polymorphic monad and class constraints:

> [@Abab9579](#):
>
> as I have to create typeclass for each and every effect I have

---

_[View the full topic](https://discourse.haskell.org/t/what-should-i-use-for-effect-handling/5641)._