Re: [Haskell-cafe] passing a polymorphic function as a parameter vs using it directly in a function definition

On Thu, Jul 15, 2010 at 9:20 AM, Pasqualino "Titto" Assini wrote:

Many thanks for the explanation.

But I thought that GHC always derives the most generic type, why does it fix my 'a' to 'Int' ?

Inferring the type of higher ranked functions is problematic, so GHC never does this by itself. See [1]. [1] http://www.haskell.org/ghc/docs/6.12.1/html/users_guide/other-type-extension... HTH, -- Felipe.