Added Monad[Free] exercise.