diff --git a/intTests/test2204/test.sh b/intTests/test2204/test.sh
new file mode 100755
index 000000000..d6ef5e724
--- /dev/null
+++ b/intTests/test2204/test.sh
@@ -0,0 +1,4 @@
+set -e
+
+$SAW test1.saw
+$SAW test2.saw
diff --git a/intTests/test2204/test1.saw b/intTests/test2204/test1.saw
new file mode 100644
index 000000000..125da741e
--- /dev/null
+++ b/intTests/test2204/test1.saw
@@ -0,0 +1,6 @@
+let f (x : a) : a = x;
+let g (x : a) (y : b) : (a, b) = (x, y);
+
+let h (x : a) : m a = do {
+   return x;
+};
diff --git a/intTests/test2204/test2.saw b/intTests/test2204/test2.saw
new file mode 100644
index 000000000..4873b7ccb
--- /dev/null
+++ b/intTests/test2204/test2.saw
@@ -0,0 +1,4 @@
+rec f (x : a) : b = g x
+and g (y : a) : b = h y
+and h (z : a) : b = f z
+;