On Thu, May 28, 2009 at 5:19 PM, Gracjan Polak <gracjanpolak at gmail.com> wrote: > You don't have to guess then, Haskell compiler can do the guessing for you. It isn't guess, Haskell compiler (like GHC) gets these types by (type) inference, as you said :-) lee > It is called type inference.