I'd gladly take Hindley-Milner typing and typeclasses (or better yet, module typeclasses) over the current TS situation.