[bos]

> It's worth noting that QuickCheck is used with functional code only.

That's actually not true. You can use QuickCheck with "normal" code that has side effects, too, and it's every bit as useful there.