All of this needs point free and whatever notation..
Tidy up exercise 1 a bit, finish most of exercise 2
applicative functors yo
not a manually recursive solution, but map and filter
Exercise 4