foo x y
 = case compare x y of 
    EQ -> liquidAssertB (x == y)
    LT -> liquidAssertB (x < y)
    GT -> liquidAssertB (x > y)
foo x y
 = case compare x y of 
    EQ -> liquidAssertB (x == y)
    LT -> liquidAssertB (x < y)
    GT -> liquidAssertB (x > y)
foo x y
 = case compare x y of 
    EQ -> liquidAssertB (x == y)
    LT -> liquidAssertB (x < y)
    GT -> liquidAssertB (x > y)