RE: [Haskell-cafe] Point-free style

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