Alexis King

FWIW, I just found this issue because it seems to be changed behavior in 1.13.0—my codebase that previously passed the linter now fails. I'm sympathetic to the argument for reducing...

I bumped into this today, too. I put ```cabal package my-package optimization: 0 ``` in my `cabal.project.local` file, but building was incredibly slow! I ran `cabal new-build -v`, and sure...

Can you ask your users to give you a value of type `forall effs. Members '[E1, E2] effs => Eff effs a` instead of `Eff '[E1, E2] a`?

> Yes, but I find that type inference is awkward, whereas the `SomeEffs` version is nicer in that respect, but involves lots of wrapping and unwrapping. (This is kind of...

You’re right that the documentation for `interpose` is somewhat confusing/ambiguous. Really, `interpose` *does* intercept and “retire” each action executed by `send`, so enclosing handlers *do not* see the intercepted actions....

I’m not sure I like the idea of effectively forcing a single instance of a given effect per list, but I’m not dead set against the idea, either. I’ll probably...

After a little bit of thought, my gut reaction is that I don’t like how this makes the API more complicated. `Members [Reader String, State Integer, Console] =>` is a...

@shmish111 I cannot reproduce your problem. The code that you provide is not complete, so it is not runnable, but I tried to reduce what you provided to a minimal...

Could you post the type you tried assigning to `Process.interpretIO` and friends? I’d like to better understand your misunderstanding.

Something I didn’t mention in the Slack discussion but is nevertheless extremely important when discussing inlining and specialization: **read the generated Core.** You can ask GHC to dump the optimized...