diff --git a/test/prog/GNUmakefile b/test/prog/GNUmakefile
index 365d8cf..5b7ebd3 100644
--- a/test/prog/GNUmakefile
+++ b/test/prog/GNUmakefile
@@ -33,6 +33,7 @@
 	scope-simple.uk \
 	simple-adt.uk \
 	simple-test.uk \
+	typevars.uk \
 	zero-arity.uk
 
 all: $(tests)
diff --git a/test/prog/typevars.uk b/test/prog/typevars.uk
new file mode 100644
index 0000000..ce34542
--- /dev/null
+++ b/test/prog/typevars.uk
@@ -0,0 +1,12 @@
+^ Test var
+    = Hello var
+
+: thing ^ Test a -> a = \x -> ? x { . Hello v => v }
+
+! {
+    : t1 = thing (Hello 10)
+    : t2 = thing (Hello "ten")
+    ! 0
+}
+
+~ ubik-tests/typevars