В библиотеке hedgehog имеется монадный преобразователь GenT. Однако функция forAll принимает тип Gen.
Существует функция forAllT, но она находится в модуле Internal.
Так что, если бы я хотел использовать генераторный монадный трансформатор со специфической монадой (скажем, State), какой был бы способ использовать такой GenT?