Applicative instance for Weighted
Increase upper bound for package quickcheck