let min x y = if (compare x y) <= 0 then x else y