diff --git a/hm-inference/nac3_types.py b/hm-inference/nac3_types.py
index 9ef519f..dcad880 100644
--- a/hm-inference/nac3_types.py
+++ b/hm-inference/nac3_types.py
@@ -195,11 +195,11 @@ class TCall(Type):
         elif isinstance(x, TFunc):
             fn = x
             for i in range(len(y.calls)):
+                if not x.instantiated:
+                    fn = x.instantiate()
                 posargs, kwargs, ret, _ = y.calls[i]
                 c = y.calls[i]
                 c[3] = fn
-                if not x.instantiated:
-                    fn = x.instantiate()
                 all_args = set(arg.name for arg in fn.args)
                 required = set(arg.name for arg in fn.args if not
                                arg.is_optional)
diff --git a/hm-inference/test.py b/hm-inference/test.py
index b8d49a9..d58fefa 100644
--- a/hm-inference/test.py
+++ b/hm-inference/test.py
@@ -32,7 +32,7 @@ c = g.foo(True, 1)
 d = g.foo(True, True)
 
 f = Foo(1)
-g = Foo(1)
+g = Foo(True)
 """
 
 print(src)