improvements in QCheck (monadic bind)