haskell - 如何在`hedgehog`中使用`GenT`

Question

在hedgehog图书馆里，有一个GenT单子变压器。但是该forAll函数采用Gen类型。

有一个forAllT功能，但它在一个Internal模块中。

因此，如果我想使用具有特定 monad 的生成器 monad 变压器（例如State），那么使用这种 monad 的方法是GenT什么？