Its just a synonym for function type (long for writing). For example, the following should be valid: 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 ++ "?"
source
share