Silly formatting issue
HoF: length defined using foldr