At 2002-02-07 15:39, ilje wrote:

Question: For what reason we need the "Type inference" if we can enforce "Type constraints" ?????

I think it just makes it easier for the programmer if they don't have to write type signatures everywhere. Of course sometimes Haskell can't infer types and then you have to put them in. -- Ashley Yakeley, Seattle WA