In the hedgehog library, there is a GenT monad transformer. However the forAll function takes a Gen type.
There is a forAllT function, but it is in an Internal module.
So if I'd like to use a generator monad transformer with a specific monad (say State), what would be the way of making use of such a GenT?