[hcarvalhoalves]

Why is a library a "band-aid", and why is it necessary to have such feature in the core language?

[yakshaving_jgt]

I think it’s an argument about ergonomics. Threading state throughout your control flow is bad. Implicits like in Scala are bad. Global variables are worse. Something like a Reader monad is less bad.