`forAllDL` and similar functions do return `Property` but not `PropertyM`

[uhbif19]

trafficstars

I am not that sure of internal workings and if that is possible, but it would be nice if forAllDL returned PropertyM value. That way one could mix it with other kind of monadic Quickcheck code, like custom initialization and finalization more easily.

[ghost]

This sounds like a good idea. Do you have a specific situation in mind where the lack of PropertyM proved annoying? An example would be useful to understand the underlying need and make sure we provide a good answer.