quickcheck as dev dependency