diff --git a/examples/failing/type/add_int_and_float.lila b/examples/failing/type/add_int_and_float.lila
new file mode 100644
index 0000000..416fa4e
--- /dev/null
+++ b/examples/failing/type/add_int_and_float.lila
@@ -0,0 +1,3 @@
+fn add_int_and_float(a: int, b: float) int {
+	a + b
+}
diff --git a/examples/failing/type/add_int_expect_float.lila b/examples/failing/type/add_int_expect_float.lila
new file mode 100644
index 0000000..639a51c
--- /dev/null
+++ b/examples/failing/type/add_int_expect_float.lila
@@ -0,0 +1,3 @@
+fn add_int_expect_float(a: int, b: int) float {
+	a + b
+}
diff --git a/examples/failing/type/addition.lila b/examples/failing/type/addition.lila
deleted file mode 100644
index 09f58fc..0000000
--- a/examples/failing/type/addition.lila
+++ /dev/null
@@ -1,16 +0,0 @@
-fn add(a: int, b: float) int {
-	a + b
-}
-
-fn add2(a: int, b: int) float {
-	a + b
-}
-
-fn add3(a: int, b: float) int {
-	return b;
-	a
-}
-
-fn add4(a: int, b: int) {
-	a
-}
diff --git a/examples/failing/type/early_return_mismatch.lila b/examples/failing/type/early_return_mismatch.lila
new file mode 100644
index 0000000..54b1528
--- /dev/null
+++ b/examples/failing/type/early_return_mismatch.lila
@@ -0,0 +1,4 @@
+fn return_float_early_instead_of_int(a: int, b: float) int {
+	return b;
+	a
+}
diff --git a/examples/failing/type/return_int_instead_of_unit.lila b/examples/failing/type/return_int_instead_of_unit.lila
new file mode 100644
index 0000000..334a2a3
--- /dev/null
+++ b/examples/failing/type/return_int_instead_of_unit.lila
@@ -0,0 +1,3 @@
+fn return_int_instead_of_unit(a: int) {
+	a
+}