Add funext note to Exercise 1.6, close #416