let (<=) a b = compare a b <= 0