Se pasó una función que exige un efecto donde se espera una función pura

Un parámetro tipado como función simple (`fn(...) -> T`, sin cláusula `with`) promete pureza — nada de lo que corre en ella realiza un efecto que el llamador ya no conozca. Pasar allí una función que ella misma exige un efecto deja que ese efecto escape completamente sin declarar, la misma clase de fuga que `TE802` bloquea en la dirección común de llamada.