Logical methods in computer science just published Matija Pretnar's latest take on algebraic effects and handlers: We present a complete polymorphic effect inference algorithm for an ML-style language with handlers of not only exceptions, but of any other algebraic effect such as input & output, mutable references and many others. Our main aim is to offer the programmer a useful insight i…