data AAA = A | B | C deriving (Eq, Ord)

main = print (A<B, A<C, C==C, A>C)