verified articles blog post
learning QuickCheck