Adding quickcheck support