--- /dev/null
+-- monobinds
+-----
+
+a = 1:a
+
+-----
+
+a = 2
+
+b = 1:a:c
+
+c = 0:b
+
+-----
+
+a = 1
+
+b = a+a
+
+-----
+
+f = \ y -> y
+
+g x = x
+
+-----
+
+f True = 1
+
+f False = 0
+
+-----
+
+f (x:y) = x
+
+f z = z
+
+-----
+
+f (True,x) = x
+
+f (False,y) = y+1
+
+-----
+