Free Monad in Cats sample implementation

This is a forked repository from here.

It contains the source code from Overview of free monad in cats.

Alternative implementation

In the package alt I tried an alternative approach with monad stacks and DI with partial application:

It might be quite as good for many use cases that don't necessarily need the interpreter pattern?

In my opinion it still has many of the benefits of the free monad approach:

• Good for managing side effects in a consistent way
• Less boiler-plate
• Easier to understand because it doesn't need natural transformations
• More explicit because it needs less implicits
• Composable / testable / scalable