A demo of how to achieve the benefits of Free
monad architecture without (some of) the costs of Free
monads:
Free Monads Are Expendable.
This approach doesn't require any extra library code. That's why you won't find any code in this project, other than the compiler checked tutorial (via tut).