Exercise 5.12 Reimplement all the things with unfold!
Exercise 5.13 lazy startsWith
Exercise 5.16 scanRight