Algebraic Effects and Modular Imperative

Leo: There's always a question when you're designing a language feature about like how much rope you want to give people and then it's kind of up to them whether they hang themselves with it or not. I still suspect it's the case that with as with lots of language features how well it works in practice also depends on the approach and discipline with which people start writing libraries to use it. Leo: Once you have this notion of implicit selection you could probably design libraries that use it all over the place or you could design libraries that used it in a small number of places where it's high leverage. You can find links with more information about the topics we discussed including some of Leo