Also having promise libraries which stuck closer to the basic monadic interface without lots of overloading would help things like Typescript and Flow catch all of the errors.

Yeah, just sounds like a type issue that any simple static checking would catch.