The challenge is that the compiler uses the type-and-effect system for many of its tasks, including whole-program optimization and code generation. If printing

The challenge is that the compiler uses the type-and-effect system for many of its tasks, including whole-program optimization and code generation. If printing- or logging statements have no effect, the compiler might reorder them or even remove them.