Что означает :: (двойное двоеточие) в Haskell?

Я вижу и использую символы :: везде , но до сих пор не знаю, что : : Символ означает при программировании на Haskell, например

run :: Int -> Int -> Int
--  ??

Что означает :: (двойное двоеточие) в Haskell?