Exercises 3.6 and 3.7

Question: why didn't I have to mention the use of Funext ?
Are we going to write `_solution_1` all the time?