[Haskell-cafe] Point-free style

[Tim Docker]

Ketil Malde wrote:

  >        (.) . (.) .(.)
  >
  > I entered it into GHCi, and got
  > 
  >         :: forall a a b c a.
  >               (b -> c) -> (a -> a -> a -> b) -> a -> a -> a -> c

I spent a minute or so attempting to intuit the type signature of this,
before cheating and entering it into ghci also.

Is there a straightforward technique by which type signatures can be
"hand calculated", or does one end up needing to run the whole inference
algorithm in one's head?

Tim