import "Prelude"

a,b,c,d :: Either Boolean Boolean
a = Left False
b = Left True 
c = Right False
d = Right True

main = a == a
    && a < b
    && a < c
    && a < d
    
    && b > a
    && b == b
    && b < c
    && b < d

    && c > a
    && c > b
    && c == c
    && c < d

    && d > a
    && d > b
    && d > c
    && d == d
--
true