Re: [Haskell-cafe] If you'd design a Haskell-like language, what would you do different?

In Haskell, most of these assumptions are invalid:

     * something may be curried or member of a strange typeclass (like        printf). No assumptions about the number of arguments can be        made      * It may be possible that we do not yet know the type of a because        we can't infer it's type without knowing the type of x      * show obj is definitely a String      * 2 is of type Num a => a. What if there are two something, one        with a parameter of type Int and one with a Float?

You see, It's not so easy. I see. Thanks for such a clear explanation.