Candidates for quickcheck-property-monad