What should I use for effect handling?

[arybczak]

@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:

@tomjaguarpaw

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