Reasoning about Errors in Free Monads and Their Interpreters
wyrdartsinitiatives
Free Monads are a powerful abstraction for modeling operations in your program. While there are many articles about free monads, there are relatively few about using free monads. At my current work we have a large Free Monad that abstracts various actions one might do against data in our system....