Is there a way to use this package with `GenT` type (without `Identity` being the underlying monad) ? I looked into the haddocks and wasn't able to figure if such an usage is possible. Am I missing something ?