+++ /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