Exercise 3

Type-stability