instantiateTypeVar startInt (TEArrow t1 t2) = Arrow (instantiateTypeVar startInt t1)
                                                    (instantiateTypeVar startInt t2)
instantiateTypeVar startInt (TEArrow t1 t2) = Arrow (instantiateTypeVar startInt t1)
                                                    (instantiateTypeVar startInt t2)
instantiateTypeVar startInt (TEArrow t1 t2) = Arrow (instantiateTypeVar startInt t1)
                                                    (instantiateTypeVar startInt t2)