add monadic quickcheck asserts