philipp-classen/quickcheck archive