emptyTransformState uniqSupply = TransformState 0 VarEnv.emptyVarEnv uniqSupply
emptyTransformState uniqSupply = TransformState 0 VarEnv.emptyVarEnv uniqSupply
emptyTransformState uniqSupply = TransformState 0 VarEnv.emptyVarEnv uniqSupply