:: Int -> Int -> Bool