instantiateTypeVar :: Int -> TypeExpr -> Type
instantiateTypeVar startInt (TEVar x) = TypeVar (startInt + x)
instantiateTypeVar :: Int -> TypeExpr -> Type
instantiateTypeVar startInt (TEVar x) = TypeVar (startInt + x)
instantiateTypeVar startInt (TEVar x) = TypeVar (startInt + x)