Incomplete documentation with Free mond

[Mikejonesab12]

In you documentation, you have a link to a presentation that demonstrates the Free Monad as a DSL and interpreter for a key value store. I think it would be great to implement a basic example using a Free monad as a DSL and interpreter. Right now the Free Monad docs do not really show the Monad in use.

I have struggled the last few days to get the Free Monad working in that way.