Diff base_quickcheck-0.15.0-r2 with a base_quickcheck-0.16.0

Thank you!