Implemented attempt at 'Monad' instance for Free.