diff --git a/examples/typechecking/named_constructor.an b/examples/typechecking/named_constructor.an
index 5600d874..e3d292ef 100644
--- a/examples/typechecking/named_constructor.an
+++ b/examples/typechecking/named_constructor.an
@@ -9,5 +9,5 @@ foo = hello_foo 42
 // args: --check --show-types
 // expected stdout:
 // Foo : forall a b c. (a - b -> Foo a b can c)
-// foo : Foo String Int a
+// foo : Foo String (Int a)
 // hello_foo : forall a b. (a -> Foo String a can b)