On 3/27/24 08:47, Per Nordlöw wrote: > Would be awesome to have Koka's side-effect system in D. > > See > https://koka-lang.github.io/koka/doc/book.html#sec-semantics-of-effects. I also think that this is a good approach for effects. However, it requires parametric polymorphism in the type system.