You don't have to use type inference everywhere. But I don't think this is a problem in practice for whatever reason. Haskell does have a lot of "big scary typ

You don't have to use type inference everywhere. But I don't think this is a problem in practice for whatever reason. Haskell does have a lot of "big scary type error, wtf" type problems, but not from currying. Or at least it did have when I last used it 5 years ago, it may have improved in the compiler error message front. Also it is better than JS anyway (low bar): > function add(a,b) {return a + b}; add(1); <- NaN