diff --git a/examples/fail.quox b/examples/fail.quox
new file mode 100644
index 0000000..7d3ed8a
--- /dev/null
+++ b/examples/fail.quox
@@ -0,0 +1,10 @@
+@[fail "but cases for"]
+def missing-b : {a, b} → {a} =
+  λ x ⇒ case x return {a} of { 'a ⇒ 'a }
+
+-- @[fail "duplicate tags"]
+-- def repeat-enum-case : {a} → {a} =
+--   λ x ⇒ case x return {a} of { 'a ⇒ 'a; 'a ⇒ 'a }
+
+@[fail "duplicate tags"]
+def repeat-enum-type : {a, a} = 'a