More exercises, need to work out why foldr short circuits or not