Is there any plan to add support for monadic quickcheck like haskell?
Is there any plan to add support for monadic quickcheck like haskell?