Complete free monad composition example

Does all the Inject / Coproduct stuff to combine free monads and their
interpreters.