containsVar v (TEArrow t t') = (containsVar v t) || (containsVar v t')
containsVar v (TEArrow t t') = (containsVar v t) || (containsVar v t')
containsVar v (TEArrow t t') = (containsVar v t) || (containsVar v t')