Controlling monadic effects with type classes

The talk will focus on how to restrict effects performed by monadic computations using type classes. You will explore the pros and cons of this approach in relation to its alternatives as well as how to solve several common issues that arise, such as the problem of quadratic number of instance definitions.

The talk will focus on how to restrict effects performed by monadic computations using type classes. You will explore the pros and cons of this approach in relation to its alternatives as well as how to solve several common issues that arise, such as the problem of quadratic number of instance definitions.