--- /dev/null
+data Nat = O | S Nat\r
+\r
+// It is important for this test that even and or are not annotated\r
+even O = True\r
+even (S x) = odd x\r
+\r
+odd O = False\r
+odd (S x) = even x\r
+\r
+main = even (S (S (S (S (S O)))))\r
+--\r
+false
\ No newline at end of file