haskell - Haskell 型のシノニム

Question

Yesod の次の型シノニムが何をしているのかを理解しようとしています。

type HtmlUrlI18n msg url = Translate msg -> Render url -> Html

Learn you some haskell または haskell wikibook で、present と同義の型の例を見つけることができませんでした->。リンクや説明は大歓迎です。ありがとう。

Answer 1

（書き留めるには長い）関数タイプの単なる同義語です。たとえば、以下は有効な Haskell である必要があります

--Example of a function type synonym
type StrFn = String -> String

foo :: StrFn
foo s = s ++ "!"

--Example of a function type synonym with type parameters
type Fn a = a -> a

bar :: Fn String
bar s = s ++ "?"