Your comment is pretty much exactly the reason why I'm moving to Elm and PureScript as much as possible. As a specific point, function types for redux-thunk are

Your comment is pretty much exactly the reason why I'm moving to Elm and PureScript as much as possible. As a specific point, function types for redux-thunk are just an absolutely miserable mess and that alone moved me to redux-saga. But personally I just want to dump the whole wretched thing. I'm glad people are waking up to this, because I felt like the odd one out disliking Typescript and preferring Javascript. Typescript in my experience has felt like a collection of hacks more than a well thought out expansion of Javascript. Additionally, it concerns me that official solutions to some problems (e.g. iterating on an enum) require you to write around the code that the compiler will generate. That does not fill me with confidence at all. As a personal point of contention, I really dislike that the types are useless beyond design-time. But since they don't want to go outside the EMCA spec, we'll likely not see anything like pattern matching on type or type-level destructuring anytime soon. As it stands, some trivial things can become a nightmare very quickly. Maybe I'm just used to the ease at which ML-family languages can express some concepts.