Don't propagate types with free tyvars.