I have two questions: How should scope functions be implemented? Why does the standard library’s TaskLocal.withValue compile successfully? Let me explain step by step. Suppose we want to create a higher-order function that adds log output to a code block. A scope function is something that adds such effects to a block of code without modifyi...