I use QuickCheck, but it wasn't germane the point I was making so I didn't mention it.
Actually, I did think of using sum when I was computing the length differently, but I made another change and never got back to it. I agree, sum would be better.
Actually, I did think of using sum when I was computing the length differently, but I made another change and never got back to it. I agree, sum would be better.