¿Qué significa el símbolo => en Haskell?

Soy nuevo en Haskell y, en general, en la programación funcional, y estoy un poco incómodo con su sintaxis.

En el siguiente código, ¿qué hace el=> denotar? Y también(Num a, Ord a)?

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