Add foldable instance for Option (Exercise 12)