diff --git a/src/Types.cc b/src/Types.cc
index 80f85d836..1b8cc43f3 100644
--- a/src/Types.cc
+++ b/src/Types.cc
@@ -241,7 +241,7 @@ namespace bolt {
       case TypeKind::App:
       {
         auto App = static_cast<TApp*>(this);
-        return App->Op->hasTypeVar(TV) && App->Arg->hasTypeVar(TV);
+        return App->Op->hasTypeVar(TV) || App->Arg->hasTypeVar(TV);
       }
       case TypeKind::TupleIndex:
       {