Complete example

List Option into the Free monad, provide two ways of executing the
program. Can't really do anything more interesting with this example as
the structure of the program doesn't expose any interesting content.