An example of evaluating a free monad inside a free monad