Using with a base monad other that IO

[newhoggy]

I'm interested in using effectful with a base monad other than IO - in particular PropertyT IO from the hedgehog library.

Is this possible?

[ocharles]

This isn't possible, but PropertyT is quite a strange monad that might not even possible to capture as an effect with effectful. What I have had success with is defining a Test effect that models Hedgehog's TestT monad, along with evalEff. This lets you combine effectful and MonadTest, which has felt like the goth balance. If this is interesting let me know, as I've been meaning to tidy this up and open source it

[newhoggy]

Yes, please.