Remove restriction on provide + TO DOs on quickcheck