support inherited type variables - simpler solution