> Monads: there was a very vocal faction on TC-39 that really wanted a Promises to be monadic and very much emphasized mathematical purity over usefulness

I don't think this was the case. The main argument of FP side was having more composability built into the core of the language.