diff --git a/examples/Bug8.hs b/examples/Bug8.hs
new file mode 100644
index 0000000000000000000000000000000000000000..6481ca3f3f0d648f1a54cd5972091d0957c21bec
--- /dev/null
+++ b/examples/Bug8.hs
@@ -0,0 +1,8 @@
+infix -->
+infix --->
+
+data Typ = Type (String,[Typ])
+         | TFree (String, [String])
+
+x --> y = Type("fun",[s,t])
+(--->) = flip $ foldr (-->)