Synonim typu Haskell

Question

Próbuję zrozumieć, co robi następujący synonim typu Yesod.

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

nie mogę znaleźć przykład w uczyć ci Haskell lub Wikibook Haskell do typu synonim z -> obecnej. Wszelkie linki lub objaśnienia są mile widziane. Dzięki.

Answer 1

To tylko synonim typu funkcji (należy długo zanotować). Na przykład poniższe powinny być ważne 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 ++ "?"