Re: [Haskell-cafe] function type def

PR Stanley writes:

It's one of those things - I know sort of instinctively why it is so but can't think of the formal rationale for it:

f g x = g (g x) :: (t -> t) -> (t -> t)

(t -> t) -> (t -> t) So g :: t -> t x :: t Thus f :: (t -> t) -> t -> t (The last parenthesis is not necessary, but implies that the type of the partial application f g is a function t -> t .) -k -- If I haven't seen further, it is by standing in the footprints of giants