O que o símbolo => significa em Haskell?

Sou novo no Haskell e, em geral, na programação funcional, e me sinto um pouco desconfortável com sua sintax

No código a seguir, o que o=> denotar? E também(Num a, Ord a)?

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