--- /dev/null
+import "Prelude"\r
+\r
+a,b,c,d :: Either Boolean Boolean\r
+a = Left False\r
+b = Left True \r
+c = Right False\r
+d = Right True\r
+\r
+main = a == a\r
+ && a < b\r
+ && a < c\r
+ && a < d\r
+ \r
+ && b > a\r
+ && b == b\r
+ && b < c\r
+ && b < d\r
+\r
+ && c > a\r
+ && c > b\r
+ && c == c\r
+ && c < d\r
+\r
+ && d > a\r
+ && d > b\r
+ && d > c\r
+ && d == d\r
+--\r
+true
\ No newline at end of file