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

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

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