Что означает символ => в Haskell?

Я новичок в Haskell и, в целом, в функциональном программировании, и мне немного неудобно работать с его синтаксисом.

В следующем коде что обозначает =>? А также (Num a, Ord a)?

loop :: (Num a, Ord a) => a -> (t -> t) -> t -> t