A collection of combinators for painless construction of QuickCheck properties