diff --git a/testfile.alc b/testfile.alc
index da4b8d6..c4545ca 100644
--- a/testfile.alc
+++ b/testfile.alc
@@ -2173,7 +2173,7 @@ let sqr = lambda (x)
 	x * x
 sqr 6
 # FIXME: this super duper should be failing
-let sqr_overcomplicated = lambda_annotated (t, x : t) : host-string
+let sqr_overcomplicated = lambda_annotated (t : type, x : t) : host-string
 	x * x
 sqr_overcomplicated(host-number, 6)
 
@@ -2183,4 +2183,3 @@ sqr_overcomplicated(host-number, 6)
 #host-array-from-tuple(2, host-tuple-of(host-type, duplicate-tuple-desc(2, host-number))(1, 2))
 
 #main()
-